Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors

DOI10.1155/2015/579623zbMath1418.90102OpenAlexW2185985395WikidataQ59106008 ScholiaQ59106008MaRDI QIDQ1723403

YiFan Hou, Liang Hong, JunFeng Jing, Dmitry A. Litvin, AnRong Wang

Publication date: 19 February 2019

Published in: Discrete Dynamics in Nature and Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/579623

Mathematics Subject Classification ID

Production models (90B30)

Related Items (1)

One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy

Cites Work

• On structural minimality of optimal supervisors for flexible manufacturing systems
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• A technique of state space search based on unfolding
• Deadlock prevention policy based on Petri nets and siphons
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Unnamed Item

This page was built for publication: Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors