Supervisory control of discrete event systems and its solution with the petri net p-invariants

摘要

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.