A Primer in Petri Net Design - nidottu, Englanti, 2011