Liveness-Enforcing Supervisors for Flexible Manufacturing Systems with Multiple Resource Acquisitions

This paper develops an approach for the deadlock prevention problems in flexible manufacturing systems (FMS) based on siphons of Petri nets. The analysis of S4PR, a subclass of Petri nets, leads us to characterize deadlock situations in terms of insufficiently marked siphons. A method is proposed to make elementary siphons max-controlled by the additional control places. When the liveness of the augmented S4PR net is not guaranteed, we modify the initial markings of the control places. Thus, the controlled net system (supervisor) can be enforced to be live by exploiting its structure analysis. Finally, an FMS example is used to illustrate the proposed techniques

[1]  J. G. Thistle.  Supervisory control of discrete event systems , 1996 .

[2]  Yang Lu,et al.  A deadlock prevention method for FMS with multiple resource acquisitions , 2004, ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..

[3]  Kamel Barkaoui,et al.  Supervisory control of discrete event systems based on structure theory of Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

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

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

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

[7]  Kamel Barkaoui,et al.  Deadlock avoidance in FMS based on structural theory of Petri nets , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

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

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

[10]  Hyunbo Cho,et al.  A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .

[11]  Kamel Barkaoui,et al.  On Liveness and Controlled Siphons in Petri Nets , 1996, Application and Theory of Petri Nets.

[12]  Miryam Barad,et al.  AN INTRODUCTION TO PETRI NETS , 2003 .

[13]  Atsushi Ohta,et al.  Insufficiently marked siphon of Petri nets - extension of token-free siphon , 2003, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03..