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