In: Proc. IFAC Conf. on Control Systems Design (CSD'2000), 18-20 June 2000, Bratislava, Slovak Republic, pages 390-394. 2000.
Abstract: This paper deals with the supervisory control of the discrete-event dynamic systems (DEDS). It contains descriptions of the different approaches to the supervisory control synthesis, their comparison and analysis. Further and implementation of the method based on the place invariants of a Petri net is described. It also outlines possibilities for further enhancements of the considered methods.
Keywords: Petri nets, discrete-event systems, place invariants, supervisory control.