A primer in Petri net design - Reisig, Wolfgang (Springer compass internat, 1992)