Table 2: Partial state evolution of the single-intersection Petri net model shown in Figure 3.

1st2nd3rd4th5th6th7th8th9th 10th

01100000011
00011000000
00000110000
10000001100
11111111111
00100000001
00001000000
00000010000
00000000100
00000101010
00000101010
00010100010
00010100010