In: Proc. 2nd IFAC Workshop on New Trends in Design of Control Systems, 7-10 September 1997, Smolenice, Slovak Republic, pages 323-327. 1997.
Abstract: This paper describes methods based on Petri nets analysis techniques for constructing a supervisory controller of discrete event dynamic systems. Two methods (a method based on reachability tree analysis and an on-line method based on matrix equations) have been designed. Programs in C++ have been written to solve supervisory control problem and real time control of a discrete-event dynamic system.
Keywords: Petri nets, discrete-event systems, program controllers, supervisory control.