A Primer in Petri Net Design (Springer Compass International)