An approach for the design of supervisory controller of discrete event systems
Y.M. Li, M.Z. Wang, Anthony H. Jones · 2002
This paper describes a new method for the synthesis of Petri net based supervisory control for discrete event system (DES) by blocking or enabling controllable transitions in the system according to the forbidden state specifications. The supervisory control methodology is proposed to provide such a formal technique for the modeling, specification, simulation and simplification of supervisory control for DES in a very simple and compact way.