Advances in petri nets 1991 - Rozenberg, Grzegorz (Lecture notes in computer science, 1991)