A primer in petri net design : with 139 illustrations - Reisig, Wolfgang (Springer compass international, 1992)