Colored Petri Nets
AIM : to enrich the information carried by tokens
to establish a distinction between the tokens in a place
A color is associated to the tokens in a place
Transitions can be fired in different manners
corresponding to the different colors
associated with the transitions.
Formal Presentation: Colored Petri nets