Practice of Petri nets in m - DiCesare, Frank (Chapman & Hall, 1993)