Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming

DOI10.1080/00207179.2010.504785zbMath1214.68254OpenAlexW2056587795MaRDI QIDQ3058342

Mi Zhao, YiFan Hou, Ding Liu

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

zbMATH Keywords

flexible manufacturing systemsPetri netsmixed integer programmingdeadlock prevention

Mathematics Subject Classification ID

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