Pages that link to "Item:Q2713455"
From MaRDI portal
The following pages link to Deadlock prevention policy based on Petri nets and siphons (Q2713455):
Displaying 7 items.
- On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197) (← links)
- Deadlock characterization and control of flexible assembly systems with Petri nets (Q680553) (← links)
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination (Q900668) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Mixed integer programming-based liveness test for FMS with full routing flexibility (Q2336334) (← links)
