M. V. Iordache and P. J. Antsaklis
In the Proceedings of the 2009 American Control Conference, pp. 4994--4999.
Abstract -- Petri nets and related models have been used for specification, analysis, and synthesis of programs. The paper contains a survey of several literature approaches and an examination of their relationship to Petri net modeling and supervisory control. The discussion is restricted to Petri net models in the class of place/transitions nets and the supervisory control of this class of models.
Slides available: [pdf, 146k]