Introduction This paper focuses on the use of Petri nets to model traffic signals at intersections. This article illustrates an eight-stage traffic light controller. Furthermore, structural analysis of the control Petri net is performed to demonstrate that it ensures traffic safety. We also discuss how this tool can be used in the future with more advanced technologies. The following paper will review the GF list and the paper M. Cetin, Modeling Traffic Signal Control Using Petri Nets, IEEE Transactions on Intelligent Transportation Systems, 5(3), 2004, 177-187 and will also discuss the possible extension of the paper. Summary In this paper, the authors discuss modeling traffic signal control using Petri nets. Here, movements are combined to form phases, intervals of time during which specific movements are assigned greens simultaneously. Designing the signal controller to allow conflicting movements the right of way also ensures safe and proper operation of the intersection. This article mainly focuses on how to implement signal control logic. An advantage of using the Petri net is that invariant analysis makes it possible to verify that the control model applies all safety rules. The Petri net model consists of individual submodels, so it is easy to understand and read. Furthermore, it makes it easy to modify any particular submodel without modifying the entire Petri net. Movements and phases in an intersection. The table above shows the possible phases and the possible movements for each phase. The modularity and functionality of this Petri net model is an extended version of many traffic control models. Behavioral analysis of the Petri net model is another contribution...... half of the article ......could reach a violation. Therefore, the dynamic behavior of a group of traffic lights can be modeled using the Petri net and this can be converted into executable code. Conclusion This article reviews the GF List and M. Cetin, Modeling Traffic Signal Control Using Petri Nets, IEEE Transactions on Intelligent Transportation Systems, 5(3), 2004, 177-187 article and also discusses an extension of the article. The extension of the card requires electronic equipment such as sensors and microcontrollers implemented. Electronic equipment could fail at any time causing traffic accidents or traffic jams. So they need to be monitored continuously and replaced from time to time. Works Cited “Responsive Traffic Signals Designed with Petri nets”, Michel dos Santos Soares, Jos Vrancken, 2008 IEEE International Conference on Systems, Man and Cybernetics (SMC2008)
tags