Download General Purpose Petri Net Simulator

100
100
100
110
110
110
125
125
125
2
0
0
1
0
0
2
0
0
2
0
0
1
0
0
0
0
0
4
0
0
5
0
0
5
0
0
4
0
0
4
0
0
5
0
0
0
1
1
0
1
0
0
0
0
0
1
0
0
1
1
0
0
0
>>
Explanation:
Row-1:
[0
0
10
0
0
0
0]
At time=0, the initial row shows the initial markings (at time 0)
Row-2:
[0
0
0
0
At time=0,, both tX1 and tX2 are enabled.
0
1
1]
Row-3:
[0
0
0
0
At time=0, only tX1 is allowed to fire.
0
1
0]
Row-4:
[10
1
9
1
0
0
0]
tX1 (1) takes 10 minutes to fire. After tX1 is fired, new state is [9 1 0]
Row-5:
[10
0
0
0
At time = 10, both tX1 and tX2 are enabled.
0
1
1]
Row-6:
[10
0
0
0
At time = 10, only tX2 is allowed to fire.
0
0
1]
Row-7:
[25
2
8
1
1
0
0]
When tX2 (2) completes firing, time moves from 10 to 25 seconds. The new state is [8 1 1].
Row-8:
[25
0
0
0
At time = 25, both tX1 and tX2 are enabled.
0
1
1]
Row-9:
[25
0
0
0
At time = 25, only tX1 is allowed to fire.
0
1
0]
Row-10:
[35
1
7
2
1
0
0]
When tX1 (1) completes firing, time moves from 25 to 35 seconds. The new state is [7 2 1].
Row-11:
[35
0
0
0
At time = 35, both tX1 and tX2 are enabled.
0
1
1]
Row-12:
[35
0
0
0
At time = 35, only tX2 is allowed to fire.
0
0
1]
…
158