Pages that link to "Item:Q445132"
From MaRDI portal
The following pages link to Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132):
Displaying 11 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← 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)
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets (Q1666226) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101] (Q2342522) (← links)
- Synthesis of Petri net supervisors enforcing general constraints (Q2508210) (← links)
- Deadlock control for a class of generalized Petri nets based on proper resource allocation (Q2812823) (← links)
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem (Q4589448) (← links)
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)
