Tag: Colored Petri-nets