Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems

DOI10.1002/asjc.837zbMath1332.93262OpenAlexW1508998572MaRDI QIDQ2789909

Wenhui Wu, ShouGuang Wang, Meng Chu Zhou

Publication date: 2 March 2016

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.837

zbMATH Keywords

discrete event systemPetri netflexible manufacturing systemdeadlock

Mathematics Subject Classification ID

Applications of graph theory (05C90) Production models (90B30) Discrete event control/observation systems (93C65)

Related Items

Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems, Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs

Uses Software

• INA

Cites Work

• Unnamed Item
• Unnamed Item
• Real-time management of resource allocation systems. A discrete event systems approach.
• A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
• Deadlock prevention policy based on Petri nets and siphons
• Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
• Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
• A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
• A best deadlock control for S³PMR to reach all states