colored Petri net