Abstract:Deadlocks are a highly undesirable situation in flexible manufacturing systems (FMSs). This article presents a direct and novel method to detect such markings by constructing the resource flow graph of a Petri net that models an FMS and to recover such markings by adding a set of recovery transitions. First, an algorithm is developed to build a new kind of directed graph called the resource flow graph of a Petri net. Resource flow graphs can well represent the competition for shared resources by different processes. Second, based on the resource flow graph, loop graphs can be found. Furthermore, partial deadlock markings can be easily detected due to their relationship with loop graphs. Then, we propose an algorithm to design a set of recovery transitions for loop graphs that are enabled at partial deadlock markings. The proposed approach can detect partial deadlock markings without generating a complete reachability graph of a Petri net and the resulting net is deadlock-free with all reachable markings by adding the obtained recovery transitions. Finally, some widely used examples are provided to demonstrate the proposed approach. Note to Practitioners—The occurrence of deadlocks in an FMS tends to cause unnecessary productivity costs and even catastrophic results. In the framework of Petri nets, reachability graph analysis can usually obtain a maximally permissive supervisor of a plant. However, it is rather inefficient since it suffers from the state explosion problem. In this particular research, we develop an off-line deadlock detection and recovery policy by setting a group of virtual events that are not present in a physical model. The proposed approach is computationally efficient since it does not require to generate a reachability graph. It guarantees that the resulted system is deadlock-free with its all original reachable markings.

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions

Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems

Finite Capacity Place Method Based Deadlock Prevention Algorithm

State feedback based deadlock-free supervisor synthesis for bounded Petri nets

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

A Polynomial Complexity Deadlock Avoidance Method for a Class of Flexible Manufacturing Systems

Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies

Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding.

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints

Complexity of the Deadlock Problem for Petri Nets Modeling Resource Allocation Systems.

Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications

Liveness Analysis of Ω-Independent Petri Nets Based on New Modified Reachability Trees.

An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs

Deadlock Analysis Of Petri Nets Using Siphons And Mathematical Programming

Deadlock Characterization and Control of Flexible Assembly Systems with Petri Nets.

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs

Liveness Analysis and Deadlock Control for Automated Manufacturing Systems with Multiple Resource Requirements.

Deciding the Liveness for A Subclass of Weighted Petri Nets Based on Structurally Circular Wait

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.