Deadlock recovery for flexible manufacturing systems modeled with Petri nets

DOI10.1016/j.ins.2016.11.011zbMath1429.90019OpenAlexW2553653057MaRDI 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

zbMATH Keywords

livenessPetri netflexible manufacturing systemdeadlock

Mathematics Subject Classification ID

Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (13)

Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ 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 ⋮ Robust deadlock control of automated manufacturing systems with multiple unreliable resources ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ 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 ⋮ 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

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

This page was built for publication: Deadlock recovery for flexible manufacturing systems modeled with Petri nets