Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets

Authors:
Zhiming Zhang;Weimin Wu
Affiliations:
Zhejiang University, China;Zhejiang University, China
Venue:
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Year:
2013

Citing 12
Cited 0

Feedback control of Petri nets based on place invariants

Automatica (Journal of IFAC)
An effective algorithm to find elementary siphons in a class of Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Combined siphon and marking generation for deadlock prevention in Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Sequence of Control in S3PMR

The Computer Journal
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles

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
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

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
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Deadlock prevention is crucial to the modeling of flexible manufacturing systems. In the Petri net framework, deadlock prevention is often addressed by siphon-based control (SC) policies. Recent research results show that SC methods can avoid full siphon enumeration by using mixed integer programming (MIP) to greatly increase the computational efficiency so that it can be applied in large systems in computable time. Besides, maximally permissive control solutions can be obtained by means of iterative siphon control (ISC) approaches and MIP. Then the remaining problems are redundancy and MIP iterations. Redundant controllers make the closed-loop system more complicated and each MIP iteration increases the total computational time. This article proposes a revised ISC deadlock prevention policy which can achieve better results than the other reported methods in terms of redundancy and MIP iterations while maintaining the maximal permissiveness. Several benchmark examples are provided to illustrate the proposed approach and to be compared with the other reported methods.