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