Pages that link to "Item:Q540197"
From MaRDI portal
The following pages link to Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems (Q540197):
Displaying 9 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- 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)
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination (Q900668) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources (Q2004755) (← links)
- Resource failure and buffer space allocation control for automated manufacturing systems (Q2195353) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems (Q2314759) (← links)
