Fundamental Study on Validation of Petri Net Simulator for Micro Traffic Flows

Abstract

We have developed Petri Net type simulator for micro traffic flow analysis. In this paper, we do validation study, of this simulator from two points of view. First, we analyze the distribution of between-times of car's head and head generated by the simulator and show it becomes exponential distribution with a lower bound of 1.6 second, and the maximum generation of traffic volume then satisfies physical limitation of lane-traffic capacity. We also demonstrate some of between-times become less than 1.6 in free flow by its probabilistic renew rule of place-timers. Second, we do a series of simulation to evaluate its reproducibility of real traffic flows and demonstrate that the simulator shows a good performance for straight and right-turn vehicles. But for left-turn ones, we point out need to refine its pedestrian crossing sub-net.