Joseph Sifakis
-
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems