Application and theory of Petri Nets 1996 - Billington, Jonathan; Reisig, Wolfgang (Lecture notes in computer science ;, 1996)