Petri nets : an introduction - Reisig Wolfgang (Berlin Springer Verlag, 1985)
Keywords: Mathematical logic; Petri nets