Pages that link to "Item:Q497950"
From MaRDI portal
The following pages link to Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950):
Displayed 6 items.
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources (Q2004755) (← 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)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- Sequential composition of linear systems' clans (Q2279738) (← links)