Linear algebraic calculation of deadlocks and traps
Concurrency and nets: advances in Petri nets
Design and implementation of a Petri net based supervisor for a flexible manufacturing system
Automatica (Journal of IFAC)
On Liveness and Controlled Siphons in Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Implicit Places in Net Systems
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Computation of Elementary Siphons in Petri Nets For Deadlock Control
The Computer Journal
On Deadlock Detection in Distributed Systems
IEEE Transactions on Software Engineering
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Combined siphon and marking generation for deadlock prevention in Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Comparison of operations of AGVs and ALVs in an automated container terminal
Journal of Intelligent Manufacturing
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Deadlock control methods in automated manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On Siphon Computation for Deadlock Control in a Class of Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Selective Siphon Control for Deadlock Prevention in Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
Siphons can be used to characterize deadlock states and solve deadlock problems in Petri nets that model flexible manufacturing systems. This paper presents an iterative siphon-based control (ISC) deadlock prevention policy for Petri nets via the combination of mixed integer programming (MIP) and the concept of necessary siphons (NSs). At each iteration in this ISC policy, a maximal deadly marked siphon that is closely related to deadlocks in a Petri net can be conveniently found by an MIP-based deadlock detection method. Then the places in it are classified and an NS is derived from the classified places. For each NS found, depending on its complementary set, the proposed policy adds a proper control place (CP) to make it marked (max-controlled). Moreover, during the ISC procedure, a test for redundant NSs is carried out under a certain condition in order to avoid the addition of the corresponding CPs. The siphon control process proceeds iteratively until the controlled system is live. Compared with the existing approaches, the proposed policy usually leads to a structurally simple liveness-enforcing supervisor by adding as few CPs as possible and achieves better control results. Some examples are introduced to illustrate the proposed approach.