Advances in Petri nets, 1989 - Rozenberg, Grzegorz (Lecture notes in computer science, 1990)