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