A survey of Petri net methods for controlled discrete event systems (Q1360353)

This paper surveys research on the application of Petri nets models to the analysis and synthesis of controllers for discrete event systems. The research of controller synthesis for plants modeled by Petri nets focusing on two main approaches, namely, controlled Petri nets and labeled Petri nets is described. State feedback control is studied for controlled Petri nets and one considers the event feedback behavior of labeled nets. The authors present two general approaches for the on-line computation of state feedback policies, namely, techniques on the linear-algebraic formulation of the net model and techniques on the graphical structure of Petri nets. Finally, they describe some extensions to timed models and directions for future research.