Understanding petri nets : modeling techniques, analysis methods, case studies - Reisig, wolfgang (Berlin Springer, 2013)
Includes index and bibliography.
Keywords: Mathematics -- Petri nets -- Modeling techniques -- System analysis -- Elementary system -- State properties -- Marked graphs -- Asynchronous hardware -- Case studies -- RICAS