Petri nets : : an introduction - Reisig, Wolfgang (EATCS monographs on theoretical computer science, 1985)