Deadlock recovery for flexible manufacturing systems modeled with Petri nets

DOI10.1016/J.INS.2016.11.011MaRDI QIDQ2292945zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Petri netflexible manufacturing systemlivenessdeadlock

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1836363 (Why is no real title available?)
• A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
• Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• 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
• Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
• On structural minimality of optimal supervisors for flexible manufacturing systems
• On the Equivalence of Observation Structures for Petri Net Generators
• 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

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
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
• Supervisory control of state-tree structures with partial observation
• Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
• A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
• 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)