Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors
From MaRDI portal
Publication:1723403
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
Related Items (1)
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