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