Results
For initial marking M0 = [1 0 1 0]T:
only transitions t2 and t3 are enabled
firing t2 will lead to the state M1 = [0 1 1 0]T, whereas firing t3 will lead to the state M2 = [1 0 0 1]T
l
l
t4
A1
B1
A2
B2
t1
t2
t3
M2
Previous slide
Next slide
Back to first slide
View graphic version