Emergency Vehicle Preemption Control Of T-Shaped Intersection With Time Petri Nets

LingBo Zhao,Liming Pu,Zhixia Zhao,Bo Huang,JianGen Hao,Yisheng Huang
DOI: https://doi.org/10.1109/cac.2018.8623618
2018-01-01
Abstract:Timed Petri nets are well suitable to simulate discrete event systems in the visual and mathematical forms. In this paper, they are used to analyze emergency vehicles preemption control systems of T-shaped intersections for the first time. Their applications in mediate and immediate urgent scenarios of three-phase T-shaped intersections are illustrated. Such models allow us to identify and avoid the serious conditions by the alternating phases of traffic lights. The analysis of the traffic transitions phases by using the reachable graph with time information is presented. Finally, the models' important attributes, such as liveness and reversibility, are analyzed.
What problem does this paper attempt to address?