A Primer in Petri Net Design door Wolfgang Reisig