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

This paper presents a novel method to design Petri net-based deadlock prevention controllers for flexible manufacturing systems. It starts from the computation of the complete deadlock markings by utilizing the conservativeness property of a Petri net model and the necessary and sufficient condition for deadlock. Then, it verifies a small state space including the dangerous and bad markings only by combining one-step look-forward through the original net and one-step look-backward via its reverse net. Subsequently, it defines the set of place invariants from the subset of marked operation places for the so called “elementary controlled bad markings”. Finally, it synthesizes a deadlock prevention controller by a simplified invariant-based method. Its obtained deadlock-free controller allows more behavior of the closed-loop system than those obtained via a siphon-based control method. Its computational efficiency is higher than those based on a complete reachability graph-based control method.

[1]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[2]  Hoda A. ElMaraghy,et al.  Deadlock prevention and avoidance in FMS: A Petri net based approach , 1998 .

[3]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[4]  Hongye Su,et al.  Supervisor synthesis for bounded Petri nets based on a transformation function , 2004, Proceedings of the 2004 American Control Conference.

[5]  Takashi Sekiguchi,et al.  A research on Petri net properties using transitive matrix , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[6]  Huang Hejiao,et al.  Analysis of Structure properties of Petri Nets Using Transition Vectors , 2008 .

[7]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[8]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

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

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

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

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

[13]  X. Xie,et al.  Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2006, IEEE Trans. Syst. Man Cybern. Part A.

[14]  MuDer Jeng,et al.  A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.

[15]  Mengchu Zhou,et al.  Elementary Siphons of Petri Nets and Deadlock Control , 2004 .

[16]  Murat Uzam,et al.  The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems , 2004 .

[17]  MengChu Zhou,et al.  An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[18]  P. Antsaklis,et al.  Reduced-order controllers for continuous and discrete-time singular H ∞ control problems based on LMI , 1996 .

[19]  MengChu Zhou,et al.  An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems , 2006 .

[20]  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).

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