Modeling and Analysis of Connected Traffic Intersections Based on Modified Binary Petri Nets

Figure 1

A simple Petri net model.