Advances in Petri nets 1990 - Rozenberg, Grzegorz (Lecture Notes in Computer Science ;, 1991)