Modeling ring-barrier traffic controllers using Colored Timed Stochastic Petri Nets

As one of the many techniques used in modeling traffic processes and systems, Petri Nets are recognized as a tool for modeling in traffic signal control. In this paper, ring-barrier traffic signal control structure is modeled using Petri Nets. Colored Timed Stochastic Petri Nets is used in this paper to provide additional modeling capabilities. The proposed model incorporates all the main features of ring-barrier structure and includes the modeling of left-turning vehicles. We also describe and discuss possible control structures, previously developed Petri Net models and implementation issues.