colored Petri nets