Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems
From MaRDI portal
Publication:2822261
DOI10.1080/00207721.2014.977977zbMath1345.93112OpenAlexW2067554631MaRDI QIDQ2822261
No author found.
Publication date: 30 September 2016
Published in: International Journal of Systems Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207721.2014.977977
Production models (90B30) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)
Cites Work
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Feedback control of Petri nets based on place invariants
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S3PR of flexible manufacturing systems
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case