Deadlock recovery for flexible manufacturing systems modeled with Petri nets
From MaRDI portal
Publication:2292945
DOI10.1016/j.ins.2016.11.011zbMath1429.90019MaRDI QIDQ2292945
Ting Qu, Zhiwu Li, Abdulrahman Al-Ahmari, YuFeng Chen, NaiQi Wu
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.2016.11.011
90B30: Production models
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs, Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement, Deadlock and liveness characterization for a class of generalized Petri nets, Robust deadlock control of automated manufacturing systems with multiple unreliable resources, State-based fault diagnosis of discrete-event systems with partially observable outputs, Resource failure and buffer space allocation control for automated manufacturing systems, Supervisory control of state-tree structures with partial observation, Deadlock analysis and control using Petri net decomposition techniques, Deadlock detection-oriented unfolding of unbounded Petri nets, Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions, Computation of strict minimal siphons in a class of Petri nets based on problem decomposition, One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy, A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
Cites Work
- Unnamed Item
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- On the enforcement of a class of nonlinear constraints on Petri nets
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
- On the Equivalence of Observation Structures for Petri Net Generators
- Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- 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
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
