Modeling and Analysis of Traffic Light Timing Plans Based on Timed Petri Nets
The problem of modeling and simulation of traffic light timing plans at an intersection for the general case based on timed Petri nets is addressed in this paper. The modeling method,which describes the right-of-ways of vehicles at the level of each driving and each turning direction,makes it convenient to analyze the properties of the system. Thus,it is proper for the obtained simulation model to serve as a component of the Petri net model of an urban traffic network. Finally,the model analysis is discussed and the simulation results of a case in the related literature are illustrated.