(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