In: Proc. 2nd IFAC Workshop on New Trends in Design of Control Systems, 7-10 September 1997, Smolenice, Slovak Republic, pages 303-308. 1997.
Abstract: A certain class of Petri nets interpreted for control, shortly CTRL-Petri nets, are introduced and defined in this paper. Three basic elementary CRTL-net structures are described reflecting three main control situations with respect to conflict decision problems in the flexible manufacturing systems (FMSs). Two main sources of the conflicts in the FMS are analyzed and specified. Then a method for removal of the conflicts in the FMS modeling CTRL-Petri nets is presented. The method is illustrated on a practical example.
Keywords: CTRL-Petri nets, conflict-free Petri nets, discrete-event systems, flexible manufacturing systems, supervisory control.