An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets

As a structural object of Petri nets, siphons play a key role in the development of deadlock prevention policies for resource allocation systems. Elementary siphons are a novel concept in net theory. Based on graph theory, this paper proposes an effective algorithm with polynomial complexity to find a set of elementary siphons for a linear system of simple sequential processes with resources (LS3 PR), a subclass of Petri nets, which can model many flexible manufacturing systems. The algorithm is established through the use of a resource directed graph and complementary sets of strict minimal siphons (SMS) of the net. The upper bound of the number of SMS in such a net is identified. A running example is used to demonstrate the proposed method.

[1]  Spyros A. Reveliotis,et al.  On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems , 2003, ICATPN.

[2]  Fu-Shiung Hsieh.  Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[3]  Murat Uzam,et al.  An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .

[4]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  MengChu Zhou,et al.  Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.

[6]  Fu-Shiung Hsieh.  Fault-tolerant deadlock avoidance algorithm for assembly processes , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[7]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[8]  MengChu Zhou,et al.  Clarifications on the Definitions of Elementary Siphons in Petri Nets , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[9]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[10]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[11]  W. T. Tutte.  Graph Theory , 1984 .

[12]  D. West.  Introduction to Graph Theory , 1995 .

[13]  Joaquín Ezpeleta,et al.  A Class of Well Structured Petri Nets for Flexible Manufacturing Systems , 1998, ICATPN.

[14]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[15]  J. A. Bondy,et al.  Graph Theory with Applications , 1978 .

[16]  MengChu Zhou,et al.  Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[17]  MuDer Jeng,et al.  Deadlock prevention policy based on Petri nets and siphons , 2001 .

[18]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[19]  MengChu Zhou,et al.  Shortest Routing of Bidirectional Automated Guided Vehicles Avoiding Deadlock and Blocking , 2007, IEEE/ASME Transactions on Mechatronics.

[20]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[21]  Clifford A. Shaffer.  Data Structures and Algorithm Analysis in Java , 2011 .

[22]  Kenneth H. Rosen,et al.  Discrete Mathematics and its applications , 2000 .

[23]  MengChu Zhou,et al.  Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[24]  Mark Allen Weiss,et al.  Data structures and algorithm analysis in Ada , 1993 .

[25]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[26]  Shi-Chung Chang,et al.  Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..