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

DOI10.1080/00207179.2010.504785MaRDI QIDQ3058342zbMATH OpenOpenAlexFDO

Authors 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

mixed integer programmingPetri netsflexible manufacturing systemsdeadlock prevention

Mathematics Subject Classification ID

Mixed integer programming (90C11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
• Design of T-liveness enforcing supervisors in petri nets
• On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
• scientific article; zbMATH DE number 1756008
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets
• Deadlock and liveness characterization for a class of generalized Petri nets
• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets

Cites work

• 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
• Deadlock prevention policy based on Petri nets and siphons
• On the siphon-based characterization of liveness in sequential resource allocation systems

Cited in

(12)

• Deadlock control for a class of generalized Petri nets based on proper resource allocation
• Design of T-liveness enforcing supervisors in petri nets
• An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
• Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
• Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
• A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
• Structure reduction of liveness-enforcing Petri nets using mixed integer programming
• scientific article; zbMATH DE number 1756008 (Why is no real title available?)
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
• Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

This page was built for publication: Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3058342)