LE HOLLOWAY, BH KROGH, A GIUA - Discrete Event Dynamic Systems …, 1997 - Citeseer
This paper surveys recent research on the application of Petri net models to the analysis and
synthesis of controllers for discrete event systems. Petri nets have been used extensively in …