PETRI NETS - Reisig, Wolfgang (Springer, 1985)