Colored Petri Nets: Their Properties And Applications. - Cristian Radu Zervos (1977)