ON SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT SYSTEMS

Abstract In this paper we develop a method in modeling concurrent execution of manufacturing assembly processes in flexible manufacturing systems (FMS). We target the system that can be modeled by a class of nets, called G-system. It is supervised to have the non-blocking property of the behavior. Our approach is to make unmarked siphons satisfy cs-property when the elementary ones are properly supervised, the advantage of the novel method is that a much smaller number of supervisory monitors and arcs are added and unnecessary iterative processes are avoided.

[1]  K. Barkaoui,et al.  An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

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

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

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

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

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

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

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

[9]  Kamel Barkaoui,et al.  Parameterized supervisor synthesis for a modular class of discrete event systems , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).