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