A survey of petri net methods for controlled discrete event systems (1997)

by L E Holloway, B H Krogh, A Giua
Venue:Journal of Discrete Event Dynamical Systems: Theory and Applications