ELementary siphons in a class of generalized Petri nets and their application

As a structural object of Petri nets, siphons play a significant role in the development of deadlock prevention policies for resource allocation systems. Elementary siphons are a novel methodology in Petri nets, which have been extensively studied in siphon-based liveness-enforcing supervisor designs. This paper aims to extend elementary siphons to generalized Petri nets. It can find a set of reasonable and compact elementary siphons. For a class of generalized Petri nets, the concept of augmented siphons is proposed to obtain a set of augmented elementary siphons by thoroughly investigating the structure information. The controllability of augmented dependent siphons is proposed on condition that their augmented elementary siphons are properly supervised. Finally, an example is used to illustrate the proposed method and indicate its advantages.

[1]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[2]  Zhiming Wu,et al.  Deadlock prevention for flexible manufacturing system , 2005 .

[3]  MengChu Zhou,et al.  A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[4]  MuDer Jeng,et al.  Analysis of modularly composed nets by siphons , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[5]  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.

[6]  Mi Zhao,et al.  On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  Richard A. Wysk,et al.  Detection of deadlocks in flexible manufacturing cells , 1991, IEEE Trans. Robotics Autom..

[9]  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.

[10]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

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

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

[13]  Zhiwu Li,et al.  On deadlock control for a class of generalised Petri net models of flexible manufacturing systems , 2009 .

[14]  MuDer Jeng,et al.  A deadlock prevention policy for flexible manufacturing systems using siphons , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[15]  Joaquín Ezpeleta,et al.  An Iterative Method for Deadlock Prevention in FMS , 2000 .

[16]  H. S. Hu,et al.  Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[17]  MengChu Zhou,et al.  Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2006, IEEE Transactions on Industrial Informatics.

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

[19]  Yi-Sheng Huang.  Deadlock Prevention for Sequence Resource Allocation Systems , 2007, J. Inf. Sci. Eng..

[20]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[21]  Daniel Y. Chao.  Revised dependent siphons , 2009 .

[22]  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.

[23]  Mi Zhao,et al.  Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming , 2010, Int. J. Syst. Sci..