Trivedi-Petri-41

Prévia do material em texto

41 
Colored Petri Nets 
C is a set of colors of cardinality |C| and x is an element 
of the set. 
Place p can contain tokens of any color x  C; 
Transition t can fires tokens of any color x  C. 
xC x  C 
<x> 
<x> 
p t