Pages that link to "Item:Q3058342"
From MaRDI portal
The following pages link to Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342):
Displayed 5 items.
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources (Q2213104) (← links)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets (Q2314733) (← links)
- Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation (Q2812823) (← links)