(2) SIMULATION OF A PETRI NET SEGMENT

(2) SIMULATION OF A PETRI NET SEGMENT

initial (assign initial token marking)

assign

u, x := u-1, X+1 if u > 0

[] v, y := v-1, y+1 if v > 0

[] x, y, e := x-1, y-1, e+1 if x > 0 ^ y > 0

u

x

v

y

e

Previous slide

Next slide

Back to first slide

View graphic version