Darren Duane Cofer
Univ. of Texas at Austin
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems