Abstract:Purpose - Deadlock is a rather undesirable phenomenon and must be well solved in flexible manufacturing systems (FMS). This paper aims to propose a general iterative deadlock control method for a class of generalized Petri nets (GPN), namely, G-systems, which can model an FMS with assembly and disassembly operations of multiple resource acquisition. When given an uncontrolled G-system prone to deadlocks, the work focuses on the synthesis of a near-optimal, non-blocking supervisor based on reachability graph (RG) analysis.Design/methodology/approach - The concept of a global idle place (GIP) for an original uncontrolled G-system is presented. To simplify the RG computation of an uncontrolled G-system, a GIP is added temporarily to the net model during monitor computation steps. Starting with one token and then by gradually increasing the number of tokens in the GIP at each iteration step, the related net system is obtained. The minimal-covered-set of all bad markings of the related net system suffering from deadlock can be identified and then removed by additional monitors through an established place-invariant control method. Consequently, all related systems are live, and the GIP is finally removed when the non-blockingness of the controlled system is achieved. Meanwhile, the redundancy of monitors is also checked.Findings - A typical G-system example is provided to demonstrate the applicability and effectiveness of the proposed method. Experiments show that the proposed method is easy to use and provides very high behavioral permissiveness for G-system. Generally, it can achieve an optimal or a near-optimal solution of the non-blocking supervisor.Originality/value - In this work, the concept of GIP for G-systems is presented for synthesis non-blocking supervisors based on RG analysis. By using GIP, an effective deadlock control method is proposed. Generally, the proposed method can achieve an optimal or a near-optimal, non-blocking supervisor for an uncontrolled G-system prone to deadlocks.

A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems

Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems

Finite Capacity Place Method Based Deadlock Prevention Algorithm

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions

An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems

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

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

A deadlock prevention approach for a class of time petri nets based on SCG

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation

On Near-Optimal Deadlock Control for A Class of Generalized Petri Nets Using Reachability Graph

Time Based Deadlock Prevention for Petri Nets

A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints

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

Deadlock and Liveness Characterization for a Class of Generalized Petri Nets

A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS

Supervisory Control Of A Modular Class Of Discrete Event Systems Based On Elementary Siphons Of Petri Nets

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy

Design of an Improved Think Globally Act Locally Approach for the Computation of Petri Nets Based Liveness Enforcing Supervisors of FMSs

Liveness Enforcement for Production Systems Modeled by Time Petri Nets.

Petri Net Controllers for Generalized Mutual Exclusion Constraints with Floor Operators