192516.fig.003
Figure 3: Petri net model for the single signalized intersection shown in Figure 2.