Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
From MaRDI portal
Publication:3058342
DOI10.1080/00207179.2010.504785zbMath1214.68254OpenAlexW2056587795MaRDI QIDQ3058342
Publication date: 19 November 2010
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207179.2010.504785
Mixed integer programming (90C11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources, Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs, A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems, Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation, An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
Cites Work
- Deadlock prevention policy based on Petri nets and siphons
- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources