Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
DOI10.1080/00207179.2010.504785zbMATH Open1214.68254OpenAlexW2056587795MaRDI QIDQ3058342FDOQ3058342
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
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
Mixed integer programming (90C11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- On the siphon-based characterization of liveness in sequential resource allocation systems
- Deadlock prevention policy based on Petri nets and siphons
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
Cited In (12)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- Structure reduction of liveness-enforcing Petri nets using mixed integer programming
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
- Design of T-liveness enforcing supervisors in petri nets
- Title not available (Why is that?)
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
- Deadlock control for a class of generalized Petri nets based on proper resource allocation
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)
