A Primer in Petri Net Design by Wolfgang Reisig