Pages that link to "Item:Q4967009"
From MaRDI portal
The following pages link to On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach (Q4967009):
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)
- A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets (Q2350777) (← 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)
- Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)