An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
From MaRDI portal
Publication:2314733
DOI10.1155/2016/8219424zbMath1418.90103OpenAlexW2286243663WikidataQ59123667 ScholiaQ59123667MaRDI QIDQ2314733
Ding Liu, Mi Zhao, YiFan Hou, Liang Hong
Publication date: 30 July 2019
Published in: Discrete Dynamics in Nature and Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2016/8219424
Cites Work
- An algorithm to compute the minimal siphons in \(S^4 PR\) nets
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Liveness of an extended S\(^{3}\)PR
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- On liveness and controlled siphons in Petri nets
This page was built for publication: An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
