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):
Displaying 11 items.
- On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197) (← links)
- 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)
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems (Q2789909) (← links)
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places (Q4555871) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
