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 6 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)
