THE SUPERVISORY CONTROL DESIGN BASED ON THE PETRI NET REACHABILITY GRAPH

Branislav Hrúz-Jana Flochová

   A new branch of control theory searching for the solution of the discrete event dynamic systems (DEDS) has got a recognizable contour in the eighties. This paper presents a short review of usage of the Petri nets as an effective tool for the discrete system specification and for the supervisory control design. The admissible behavior of the controlled system is determined with the help of the forbidden markings in a Petri net. The well know example of Ramadge and Wonham (cat and mouse) is used to illustrate the finite automata solution approach.

Keywords: discrete event dynamic systems, control theory, supervisory control design

[full-paper]