Colored Petri Nets

A colored Petri net is a structure :

R = < P, T, Pre, Post, M0, C >

P: set of places,

T: set of transitions,

Pré et Post functions are related to the colors of firing,

C = {C1, C2, ......} set of colors

M0: initial marking