Colored Petri Nets

P1

P2

T1

f

g

<b>,<b>

<v>,<o>

{<b>,<v>,<o>}

f(b) = v,

f(v) = b + v

f(o) = b + 2 o

g(b) = b,

g(v) = o + b

g(o) = 2 o

The marking of a place is the sum

of the marks of each color :

M(P1) = 2<b> + <v> + <o>

A set of colors is associated with

each transition. Each color

represents a possibility of firing

the transition

Formal Presentation: Colored Petri nets

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica