A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
DOI10.1016/j.ins.2017.01.021zbMath1429.90020OpenAlexW2568678163MaRDI QIDQ2293066
Publication date: 6 February 2020
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2017.01.021
Petri netdeadlock controlelementary siphonsgeneralized mutual exclusion constraintsresource partial order
Production models (90B30) Control/observation systems involving computers (process control, etc.) (93C83) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Cites Work
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Liveness of an extended S\(^{3}\)PR
- On the enforcement of a class of nonlinear constraints on Petri nets
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
- Petri net supervisors for DES with uncontrollable and unobservable transitions
- On liveness and controlled siphons in Petri nets
- Synthesis of supervisors enforcing general linear constraints in petri nets
This page was built for publication: A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
