摘要：Abstract All emergency vehicles are permitted to break conventional road rules in order to reach their destinations in the fastest possible time, such as driving through an intersection when the traffic light is red. This work focuses on the use of Timed Petri nets to model the preemption of emergency vehicles system. The advantage of the proposed approach is the clear presentation of traffic lights’ behaviors in terms of conditions and events that cause the preemption of phase being changed. The resulting models allow one to identify and thus avoid urgent scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Moreover, this paper also proposes an emergency vehicle preemption policy that provides the emergency vehicles can pass through the intersections with less delay. The liveness and reversibility of the proposed model are verified.
关键词：KeywordsTimed Petri netdiscrete event systemsemergency vehiclestraffic signal
