Advances in Petri nets, 1984 - Rozenberg G (Berlin Springer Verlag, 1985)
Keywords: Mathematical logic; Petri net