An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

DOI10.1007/s10626-011-0124-9zbMath1266.93098OpenAlexW2043721415MaRDI QIDQ2377377

Mi Zhao, YiFan Hou

Publication date: 28 June 2013

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-011-0124-9

zbMATH Keywords

Petri netsmixed integer programming (MIP)deadlock prevention\(G\)-systems

Mathematics Subject Classification ID

Mixed integer programming (90C11) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items

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, 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
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Decentralized Supervision of Petri Nets