Application and Theory of Petri Nets - Valette, Rebecca M. (Lecture Notes in Computer Science Ser.)