Deadlock recovery for flexible manufacturing systems modeled with Petri nets
DOI10.1016/J.INS.2016.11.011zbMATH Open1429.90019OpenAlexW2553653057MaRDI QIDQ2292945FDOQ2292945
Authors: Zhiwu Li, Abdulrahman M. Al-Ahmari, Ting Qu, 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
Recommendations
- A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
- Deadlock analysis and control using Petri net decomposition techniques
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- On the enforcement of a class of nonlinear constraints on Petri nets
- Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Title not available (Why is that?)
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- On the Equivalence of Observation Structures for Petri Net Generators
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
- Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
Cited In (15)
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Resource failure and buffer space allocation control for automated manufacturing systems
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Supervisory control of state-tree structures with partial observation
- A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
- Analysis of deadlock and circular waits using a matrix model for flexible 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
- Deadlock analysis and control using Petri net decomposition techniques
- Deadlock detection-oriented unfolding of unbounded Petri nets
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
This page was built for publication: Deadlock recovery for flexible manufacturing systems modeled with Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2292945)
