Pages that link to "Item:Q2350777"
From MaRDI portal
The following pages link to A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets (Q2350777):
Displaying 9 items.
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming (Q462384) (← links)
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination (Q900668) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems (Q2789909) (← links)
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480) (← links)
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342) (← links)
- Design of T-liveness enforcing supervisors in petri nets (Q5266683) (← links)
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software (Q5353204) (← links)