Advances in Petri nets 1987. - Rozenberg, Grzegorz (Lecture Notes in Computer Science ;, 1987)