A Primer in Petri Net Design

Petri nets provide a formal framework for system modelingand validation which has proven to be very reliable inpractice. This book presents variousnet models appropriatefor designing specific systems, where systems are understoodvery generally as "organizational systems" in whichregulatedflows of objects and information are significant.The models are interrelated in the sense that they havecommon interpretation patterns: together they can beunderstood as a method for specifying any given system