Advances in Petri Nets 1984 - Rozenberg, G (Lecture Notes in Computer Science, 1985)