Signal Preemption Control of Emergency Vehicles Based on Timed Colored Petri Nets

This paper focuses on the use of timed colored Petri nets (TCPN) to study emergency vehicle (EV) preemption control problem. TCPN is adopted to establish an urban traffic network model composed of three submodels, namely, traffic flow model, traffic signal display and phase switch model, and traffic signal switch control model. An EV preemption optimization control system, consisting of monitoring subsystem, phase time determination subsystem, and phase switching control subsystem, is designed. The calculation method of the travelling speed of EV on road sections is presented, and the methods of determining the actual green time of current phase and the other phase are given. Some computational comparisons are performed to verify the signal preemption control strategies, and simulation results indicate that the proposed approach can provide efficient and safe running environments for emergency vehicles and minimize EV’s interference to social vehicles simultaneously.


Introduction
With the continuous increase of traffic volume, traffic congestion and transportation delay on urban roads become more and more serious.Improving transportation safety and efficiency becomes a problem to be solved urgently [1].Traffic signal control is an effective way to solve this problem.Signal timing and signal coordination control can save energy, reduce vehicle delay, improve transportation efficiency, and ensure transportation safety [2].In addition, as an important step to cope with urban emergent events, emergency evacuation is viewed as an important measure to decrease the loss of emergent events.The people in impacted areas may suffer from some further injures, even death, if they stay for too long at the accident area.Therefore, one of the core problems of emergency evacuation is to transfer people in impacted areas to emergency shelters or medical assistance organizations as rapidly as possible [3], and emergency vehicles (EV) have larger priority than social vehicles in the case of emergencies.To ensure that EV can pass through intersections safely and rapidly, some scholars proposed signal preemption control strategy, and many methods and technologies of EV preemption have been employed today.
It was in [4] that bus preemption and EV preemption were integrated to study the signal preemption control strategy based on dynamic programming technology, and traffic flow in the network was controlled by the signal phase.To shorten the response time of EV, two kinds of signal preemption control strategies, namely, the real-time control strategy from general signal to EV preemption and the control strategy from EV preemption to general signal, were presented by Qin and Khan [5].Wang et al. [6] proposed a priority level based EV preemption control strategy, and a travel time estimation model and an optimal route determination model were established for different levels of EV to minimize evacuation time and reduce the adverse effects on normal traffic.Ma and Cui [7] proposed a multiagent based EV preemption control system to study the coordinated control problem of multiple EVs in different import directions that pass through the same signalized intersection during the same period.In addition, the mechanism of centralized server and national transportation communications for ITS Protocol have also been used in EV preemption control field [8,9].
Although there are many methods based on different traffic control strategies, all of them are mainly based on advanced communication, information, and electronic technologies to solve the EV preemption problem.While in practice, the collection of information needed for wireless communication is very difficult.
Petri net (PN) is a powerful modeling and analysis tool, and it has been proved to be a powerful modeling tool for various kinds of discrete event systems [10].Its formal expression can clearly reflect traffic signal control logic.Urban traffic system is highly concurrent and asynchronous.At the same time, since vehicles have to share traffic facilities and compete for lanes, green light phases, and other resources, resource sharing and conflict are also characteristics of urban traffic system.Since PNs have incomparable advantages in describing concurrency, asynchronization, parallelism, and conflict, they can be adopted to describe the characteristics of traffic signal control and reflect the characteristics of road traffic flow clearly.Therefore, PNs are suitable for describing urban traffic system and performing simulation.Urban traffic system models based on PNs have been proved to be effective tools for analyzing system performance, assisting intelligence, and optimizing traffic control.
It was in 1994 that PN was first applied to solve traffic signal control problem [11].Afterwards, some experts and scholars began to use various types of PN models, such as timed Petri nets [12][13][14][15][16], continuous Petri nets [17,18], hybrid Petri nets [19,20], and colored Petri nets (CPN) [21][22][23] to establish simulation models of traffic in smart cities and to study urban traffic signal control problems.These papers mentioned above are aimed at general urban traffic network without EV.Some scholars adopted PNs to study traffic signal control problem under unexpected events when EVs were used for emergency evacuation or rescue.Huang et al. [24,25] adopted timed Petri net to model the preemption of emergency vehicle systems and proposed a new EV preemption policy to ensure the safety and speed of EVs that passing through intersections.Huang and Weng [26] applied synchronized timed Petri net to design and analyze an urban emergency vehicle preemption control system.Qi et al. [27] employed timed Petri nets and synchronized Petri nets to design a real-time traffic control system for intersections facing accidents so as to provide secondary accident prevention and prevent additional accidents.Zhong et al. [28] studied the performance of China typical Urban Emergency Response System (UERS) and established its PN model, and the performance of UERS was analyzed through the Markov chain of the established model.
However, we can see from the methods adopted by existing research on EV preemption based on PN that traffic signal will change immediately from the current phase to the phase of EV as soon as EV is detected to ensure the smooth passage of EV.Since traffic signal stays in the designated phase for a long time, the right of way of traffic flow in other directions is derived, the delay of vehicles is increased, and traffic jams might be caused.It is very important to establish dynamic preemption strategy in urban traffic management to provide efficient and safe operation environment for emergency vehicles and minimize interference to social vehicles.
In this paper, an urban traffic network model based on timed colored Petri nets (TCPN) is presented, and an EV preemption optimization control system consisting of monitoring, phase time determination, and phase switching control is designed.For convenience and without loss of generality, four-phase lights are modeled with a fixed number of discrete time intervals by TCPN.The TCPN based urban traffic network model consists of three parts.The first part is traffic flow model for road section and intersection.In the traffic flow model of road section, space discretization method is adopted to divide the area between two intersections into three parts, namely, subsection 1, subsection 2, and detection area.Vehicles coming from gas stations, maintenance stations, and other places on the roadside and entering the road sections can be described by this model.The second part is signal display and phase switch model.Under normal circumstances, traffic signal at each intersection is switched orderly.When an EV is detected, in the premise of minimizing the interference to social vehicles, traffic signal can be switched to the phase of EV as soon as possible.The third part is traffic signal switch control model.It ensures that traffic signal can change from EV phase to the next phase after EV has passed through the intersection.The traffic signal optimization system can provide EVs with no or less delay and minimize their interference to social vehicles.
The remainder of the paper is organized as follows.Section 2 provides the definitions of TCPN in a compact way.Section 3 explains the TCPN representation and its signal control logic.Analysis of the EV preemption optimization control system is explained in Section 4. Simulation is carried out in Section 5 and conclusions are presented in Section 6.

Basic Concepts of TCPN
CPN is a high-level modeling formalism which has been widely used to model and verify systems.TCPN is obtained by extending the concept of time on the basis of CPN.This extension is made by introducing a global clock for the model and time stamps for the entities [29].The global clock represents the model time while the time stamps describe the earliest model time at which the entities of the model can be used for the transition evaluation process [30,31].If the time stamp of a token is not larger than the current model time, then the token can be used.Otherwise the token is not ready and cannot be used in the transition enabling procedure.
TCPN is a tuple TCPN= (∑, P, T, A, N, C, G, E, I, R,  0 ), where (i) ∑ is a finite set of non-empty color sets; (ii) P is a finite set of places; (iii) T is a finite set of transitions; (iv) A is a finite set of directed arcs such that  ∩  =  ∩  =  ∩  = Φ; (v) N is a node function that satisfies () = ×∪×; (vi) C: () → ∑ is a color function which assigns a set of color sets for each place; (vii) G is a guard function.It is defined from  into expressions such that ∀ ∈ ,  where Tpye(())is the type of (), B represents Boolean type, var(()) is variable set of function (), and Type[V] ∈ ∑ for all variables V ∈ ; (viii) E is an arc expression function.It is defined from  into timed or untimed expressions such that ∀ ∈ , where (())  is the multiset of (()); (ix) I is an initialization function.It is defined from  into timed or untimed closed expressions such that ∀ ∈ , Tpye(()) = ()  ; (x) R is a set of time values, also called time stamps.It is a subset of R closed under + and containing 0; (xi)  0 is an element of R, called the start time.
Marking is represented by the number of tokens inside a place.For ∀  ∈ ,  0 (  ) is the initial marking of place   , and the marking of   under other state is denoted as (  ).There are two kinds of markings in a TCPN model, namely, the timed marking and the untimed marking.

Urban Traffic Network
Model Based on TCPN

Traffic Flow Models of Road Section and Intersection.
Consider a signalized intersection shown in Figure 1(a).The traffic flow of each direction is composed of left-turn, straight, and right-turn vehicles.Two magnetic induction coils buried in the corresponding position of each lane are used to obtain the traffic flow information that enters or exits the intersection, and the range between the two magnetic induction coils is detection area [32].Vehicles with labels 1, 2, 5, and 6 are combinations of straight and right-turn vehicles, while the ones with labels 3, 4, 7, and 8 are left-turn vehicles.The 4-phase signal control scheme is shown in Figure 1(b).
In phase , vehicles with label 2 − 1 and 2 are permitted to pass through the intersection and right-turn vehicles are not restricted by traffic light.For convenience of description, the directions of traffic flow heading eastward, westward, northward, and southward are symbolized by the notations WE, EW, SN, and NS, respectively.

Traffic Flow Model of Road Section.
Traffic flow is continuous on road section and discrete at intersection.The change rule of traffic flow is very complex because it is affected by random factors.For example, vehicles from gas stations, car repair stations, and other places on both sides of the road may pull into the road and exert an impact on the original traffic flow.To reflect the main characteristics of road traffic flow and take full account of the influence of vehicles entering from the roadside to road, the spatial discretization method is adopted in this paper.The region between two intersections is divided into three parts, namely, subsection 1, subsection 2, and intersection region (detection area).Subsection 1, subsection 2, and intersection region are used to reflect the condition of traffic flow that entered road section after leaving from the upstream intersection, the running condition of traffic flow at road section, and the condition of traffic flow that deviated from the road section and entered the downstream intersection, respectively.In addition, subsection 1 and subsection 2 can describe the vehicles that pulled into the road from roadside.Taking traffic flow that enters road section after leaving the first intersection from west to east as an example, we can give the model of traffic flow at road section as shown in Figure 2.
In Figure 2, the region between transition  s0 and  s1 is subsection 1, the region between transitions  s1 and  s2 is subsection 2, and the region on the right side of  s2 is the intersection region.The model of vehicle flow at intersection region will be discussed later in Figure 3.The marking of places  1 and  2 ,  1u and  2u ,  1e and  2e , and  1r and  2r represents the residual position number of the two subsections, the vehicles waiting to pull into subsection 1 and subsection 2 from roadside, vehicles on the two subsections, and vehicles that are leaving subsection 1 and subsection 2, respectively.The firing of transitions  s0 ,  s1 , and  s2 represents vehicles having entered subsection 1, subsection 2, and intersection area, respectively.The firing of transitions  1m and  2m ,  1u and  2u , and  1a and 3a represents the fact that vehicles are running in subsection 1 and subsection 2, vehicles from the roadside have pulled into subsection 1 and subsection 2, and vehicles have entered the intersection area.Place  1 is the input place of transitions  s0 and 1u , which indicates that vehicles running  on the road and vehicles pulling into the road from roadside are all limited by the capacity of subsection 1.Once transition  s1 is fired, namely, a vehicle has left subsection 1, the marking of place  1 will change from ( 1 ) to ( 1 ) + 1 and then one vehicle is permitted to enter sub section 1.
The firing time of transitions  1m and  2m represents the travel time of vehicles on subsection 1 and subsection 2, respectively.The firing time of transitions  1u and  2u represents the time interval between two adjacent vehicles entering subsection 1 and subsection 2 from roadside, respectively.The time delay expression @ + Ent() is the time delay of firing corresponding transition.The function Ent takes a unit (( )) as argument and is defined as follows: The function discrete is a predefined function providing a discrete uniform distribution over the closed interval specified by its arguments [33].This means that a call Ent( ) returns an integer from the interval [ 1 ,  2 ] ( 1 <  2 ) and that all numbers in the interval have the same probability of being chosen.and passing through the intersection area, respectively.The capacity of place  d is 1,  = 1, 2, ..., 8, which represents that only one vehicle can pass through the intersection at the same time in direction .The marking of place  e , = 1, 2, ..., 8 represents the residual position number of the intersection area.For vehicles from direction , arriving, entering intersection area, passing through intersection area, and leaving from the intersection are represented by the firing of transition  a ,  b ,  c and  L ,  = 1, 2, ..., 8, respectively.In Figure 3, places represented by double circles are macro places, and a macro place is composed of a series of places and transitions.For example, places  WE ,  EW ,  NS , and  SN are macro place and represent traffic flow on the road from west to east, from east to west, from north to south, and from south to north, respectively.An expanded view of the macro place is a traffic flow model shown in Figure 2. The firing time of transition  c , = 1, 2, ..., 8 represents the time taken by a vehicle to pass through the detection area.The second element  represents the direction of vehicles,  ∈ {NS, EW}, and color  represents four phases,  ∈ {1, 2, 3, 4}.Once places  1 ,  3 ,  4 , and  5 ,  = 1, 2, 3, 4 get a token, this means that the traffic light of phase  is at the stage of the minimum green time, the remaining green time, yellow time, and red time, respectively.The token in place  2 ,  = 1, 2, 3, 4 represents the end of the minimum green time. x and  z are places in signal transition control system.When an EV is detected, the token in places  x ,  z , and  b ,  = 1, 2, 3, 4 ensures that the normal signal will be ended and the emergency signal will be started.The specific phase that emergency signal should switch to is determined by , namely, the color of token in place  z .The token in place   ,  = 1, 2, 3, 4 controls the switch of traffic signal from phase 1 to phase 4.

Traffic Flow
The firing time of transitions  1 ,  3 ,  4 , and  5 is  1 ,  2 , , and , respectively, and  1 ,  2 , , and  represent the minimum green time, the difference between the actual green time and the minimum green time, the yellow time, and the red time, respectively.In this paper,  1 , , and  are fixed values, which are 10 s, 3 s, and 2 s, respectively. 2 is a fixed value if there is no EV.Once the EV is detected,  2 is determined by the method mentioned in Section 3.3.
Taking the first phase as an example, we will illustrate the changes of traffic light and phase switch.Transitions that stand for traffic light are fired by tokens in input places.Initially, there is a token in places  1 ,  2 , and  4 and the time stamp of the initial marking is 0. There is also a token in place  c with color 0. If both  1 and  2 get a token, transition  1 is fired promptly, which in turn makes  1 and  2 lose their token and  r receive a token, and the color of token in  r is (0, NS).Transition  r will be fired if both  r and  2 have got a token.According to the arc expressions between  r and  2 and between  r and  s , the marking of  c and  s changes to 1  1 and 1  (1, NS), respectively, after  r has been fired.Since  = 1 at this time, after  3 has been fired,  11 gets a token with color1  (1, NS), which means that the traffic light is green for phase 1 and it is still red for the other phases.After the minimum green light time  1 , the marking of  12 changes to 1  (1, NS), which in turn makes transition  12 fired, and the marking of  b1 and  13 changes to 1  (1, NS).
In the absence of EVs, both  x and  z are not marked and neither transition  b1 nor transition  1g can be fired.After the residual green time  2 , the marking of  14 changes to 1(1, NS), and both  1 and  2 will get a token again after a yellow time and a red time.But now, the marking of  1 will change from1  (0, NS) to 1  (1, NS).After  r has been fired according to the similar process as described above, the marking of  c changes to1  2 and the marking of  s changes to 1  (2, NS), and thus the signal is transferred into phase 2.
On the contrary, when an EV is detected, the signal optimization control system will control the signal to switch to the part described by thick lines as shown in Figure 4, and finally the signal of EV direction will change to green.Now, we will illustrate it under the condition that phase 1 is the current green phase and the EV will pass through the intersection at another phase.Without loss of generality, we assume that it is phase 3.If an EV is detected when the elapsed green time of phase 1 is less than the minimum green time, phase transition will not be performed until the end of the minimum green time of phase 1 so as to ensure the safety of the vehicles.At this moment, both  b1 and  13 get a token.
Once an EV is detected and its phase 3 is determined, the signal optimization control system puts a token with color (3, EW) to  x and  z , respectively.And then both  1g and  b1 will be fired, which in turn makes  13 and  b1 lose their token simultaneously.The absence of token in  13 makes phase 1 end early, and  E gets a token when  b1 loses its token.And then, transitions  E and  u are fired successively, which makes  s get a token with color (3, EW) and finally transition  3 is fired and phase 3 changes to the green phase.If an EV is detected when the signal of current phase is yellow, then there is a token in both  b1 and  14 and the following process is identical to the process mentioned above.The other phase switch process from one phase to another EV phase is similar to what we have given, and we will not give unnecessary details here.

TCPN Model of Traffic Signal Switch Control.
The traffic signal switch control model based on TCPN is shown in Figure 5. Places  c ,  3 ,  4 , and   ,  = 1, 2, 3, 4, in Figure 5 are the same name places in Figure 4. Transition  E will be fired by the EV preemption optimization control system while an EV is detected, and  x ,  y , and  z will get a token with color (, ), respectively.The token in  x will prevent the phase from switching in normal order, the token in  z will fire transition  b ,  = 1, 2, 3, 4, and realize switch from current phase  to EV phase, and the token in  y will control the signal to transfer to the next phase of EV after EV has passed through the intersection.The control of  x and  z to traffic signal from normal signal to EV preemption has been described earlier in this section, and we will focus on how the token in  y will control the signal to transfer from EV phase to its next phase.
If an EV is detected when the signal of current phase is green or yellow, after the signal has switched to EV phase and executed corresponding green time (calculated by the EV preemption optimization control system), the signal can transfer to the next phase of EV smoothly according to the marking changes of places and the arc expressions.Traffic signal switch control model is needed when one phase is finished and is ready to switch to another.Now, we will illustrate the details of phase switch under this condition.If the current phase is finished and traffic light is ready to switch to the next phase while an EV is detected, then there are tokens in either  1 ,  2 , and  4 or in  1 ,  3 , and  4 in Figure 4.When phase 1 (phase 4) is finished and traffic light is ready to turn to phase 2 (phase 1), there are tokens in  1 ,  2 , and  4 and there are tokens in  1 ,  3 , and  4 in the other two cases.
Suppose that phase 1 is finished and the traffic light is ready to transfer to phase 2 at present and an EV is detected just right.Now, the tokens in all the input places of transition  b , namely, places  y ,  1 ,  2 ,  4 , and  c , make transition  b fire.The firing of  b makes all of its input places lose their tokens-thus the normal phase switch is prohibited-and makes the output place  b of  b get a token simultaneously.Assume that the EV phase is phase 4; that is, the value of color  is 4. We can see from Figure 4 that both  2 and  4 will get a token after phase  has been finished and  1 and  c in Figure 5 will finally get a token with color (0, NS) and 4, respectively.At this time, the token in  1 and  2 fires  1 in Figure 4 and makes  r get a token with color (0, NS).Since now  = 0 and  = 4, according to arc expression "If n≥k then (k+1) else k-3",  s gets a token with color (1, NS) and then phase 1 is started immediately.Thereby it can be ensured that the next phase of EV phase can be started after EV passed through the intersection.We will no longer describe the conversion process between other phases which is similar to the one mentioned above.

EV Preemption Optimization Control System
An EV preemption optimization control system composed of 3 subsystems, namely, monitoring, phase time determination, and phase switching control, is designed.Monitoring system is responsible for monitoring phase and elapsed green time of current phase, and phase time determination system is adopted to determine the actual green time of each phase and decide the next phase.The best time for signal to switch to EV phase, say, the time to fire transition  E and give tokens to place  x and  z in Figure 5, is decided by phase switching control system.The concrete control steps of the optimization control system are described as follows: Step 1.At the moment an EV is detected, monitoring system determines the current phase  and the EV phase  and calculates the elapsed green time of current phase.
Step 2. According to the relationship between  and , phase time determination system determines the actual green time of each phase, namely, the value of  1 +  2 in Figure 4, and decides the time for signal to switch to phase .
Step 3. At the moment the signal should switch to phase , phase switching control system gives tokens to places  x and  z in Figure 5 and makes signal control process execute in accordance with the black line part of Figure 4; that is, the traffic signal switches to the EV phase.
Step 4. After the EV has passed through its downstream intersection, phase switching control system ensures that traffic signal can switch to the next phase of EV according to the control logic of traffic signal switch control model shown in Figure 5.

The Method of
Judging the Current Phase.The method for the monitoring system to judge the current phase and calculate the elapsed green time of current phase is as follows.
Let   be the duration time of phase  at intersection  and  0 the time that an EV is detected.Suppose that all the intersections are four-phase control intersections and have fixed signal cycle as shown in Figure 1.If the starting time of the first phase of intersection, denoted by  1 , is determined and the duration time of the four phases denoted by  1 ,  2 ,  3 , and  4 is also determined, then the current phase of intersection  and the elapsed green time of this phase can be calculated correspondingly.Provided that  denotes the cycle length of intersection  and   denotes the elapsed green time of intersection  after  phases, then we have If the elapsed number of cycles in time duration  0 −  1 is denoted as  and the remaining time after  cycles in time duration  0 −  1 is denoted as , then we have Then the current phase is  if it satisfies  ,−1 ≤  <  , and the elapsed green time of phase  real denote the minimal green time, the maximal green time, the elapsed green time, and the actual green time of phase , respectively,  = 1, 2, 3, 4;  EV− denotes the distance between EV detection and intersection ;  is equivalent car length and it is equal to the sum of the length of vehicle itself and the distance between adjacent vehicles.According to the regulations of China on road transport, the variation range of vehicle's average travelling speed is set as 0 to 60 km⋅h −1 .

The Travelling
The travelling speed of vehicles is closely related to the traffic flow on road section, and the traffic flow on road section varies with time constantly.According to the division method shown in Figure 2, the travelling speed of vehicles at subsection 1 and subsection 2 will be determined separately.Let   ,   ,   E , and V  E stand for the length, the traffic density, the maximal travelling speed of EV, and the average travelling speed of EV at subsection ,  = 1, 2, respectively, and  s stand for the jam density.If an EV enters subsection 1 and subsection 2 at time instants  1 and  2 respectively, and the number of vehicles in the two subsections is ( 1e )( 1 ) and ( 2e )( 2 ) respectively, then the traffic density of the two subsections can be described as where ( 1e )( 1 ) and ( 2e )( 2 )can be obtained by the marking changing rule of PN.
According to the relationship between velocity and density, we have

The Determination of the Actual Green Time of Current
Phase.Suppose that the phase of EV is , the current phase is , and the difference between  and  is ; then we have We employ  1 ,  2 , and   to denote the time duration needed for EV to reach the intersection, the time duration needed to clear the vehicles before EV, and the number of vehicles before EV.Then we have Next, the actual green time of the current phase will be discussed according to the value of .In order to facilitate the description, we employ   to denote the duration time of phase  under normal condition (without EVs),  = 1, 2, 3, 4.
(1)  = 0, namely,  =  In this scenario, if   ela +  1 ≤   , namely, the sum of the elapsed green time of current phase and the time duration needed for EV to reach the intersection, does not exceed the time duration of phase , then   real , the actual green time of current phase, equals   .If   ela +  1 >   ,   real should be extended to   ela +  1 .(2)  = 1; namely,  is the next phase of .
In this scenario, we should check whether the following formula is satisfied: If it is satisfied,   real equals   and the traffic signal will switch to phase  after   real .Otherwise, let If   >   min then   real equals .Otherwise,   real equals   min .The traffic signal will switch to phase  after   real in the two cases.
(3)  = 2; namely, there is a phase betweenand  Suppose that the phase between  and  is phase ; then we have Now, we will judge whether the following formula is satisfied: If formula ( 14) is satisfied, then the actual green time of current phase  and the next phase  is   and   , respectively, and then the traffic signal will switch to phase .Otherwise, we judge whether the following formula is satisfied: If formula ( 15) is satisfied, then the actual green time of current phase  and the next phase  is   and   min , respectively, and then the traffic signal will switch to phase .Otherwise, we will judge whether formula (11) is satisfied.If it is satisfied, the traffic light will skip phase  and switch to phase  directly after the current phase  has executed green time   .If formula (11) is also not satisfied, we will calculate  according to formula (12).The actual green time of current phase  is max{,   min }, and then the traffic light will skip phase  and switch to phase  directly.
Let  1 and  2 be the two phases between  and ; then we have In this case, the actual green time of current phase  will be calculated according to the method of = 1, and then the traffic signal will switch to phase .
After the traffic light has switched to phase , the green time of phase  is  1 seconds if  1 ≥   min ; otherwise the green time of phase  is   min .Then, the traffic light will switch to the next phase of phase  according to the TCPN model shown in Figure 4.The relationship between  1 and   max is not discussed here because no matter what relationship exists between them, it is necessary to ensure that the EV can pass through the intersection smoothly and the green time will be extended to  1 even if  1 >   max .

Simulation Results Analysis
To analyze the effectiveness of the method presented in this paper, taking CPN Tools and C# as the simulation tool, a computer simulation is carried out on the basis of the intersection group with 6 intersections as shown in Figure 6.The distance between intersections is shown in Figure 6.The road link between two intersections is divided into three parts: intersection region, subsection 1, and subsection 2 as mentioned above.Suppose that the length of intersection region is 100 m and half of the residual length calculated by subtracting the length of intersection region from the length between two intersections is the length of each subsection.The EV detector of each road link is located at the start position of subsection 1; that is, EV can be detected as soon as it is entering subsection 1.
Assume that there are 6-lane dual carriageways in each direction and the lane from inside to outside is left-turn lane, straight lane, and straight-right mixed lane, respectively.At each intersection, for vehicles with labels 1, 2, 5, and 6, the ratio of straight traffic and right-turn traffic is 75% and 15%, respectively, and the ratio of vehicles with labels 3, 4, 7, and 8 is 10%.Let , and  s = 0.2 pcu ⋅ m −1 .Suppose that the speed of straight and right-turn vehicles is 36 km⋅h −1 while passing through the intersection and the speed of left-turn vehicles is 30 km⋅h −1 while passing through the intersection.We assume that the arrival rate of vehicles from east to west and from west to east is 1260-1440 pcu⋅h −1 and it is 1080-1260 pcu⋅h −1 from north to south and from south to north.The saturation flow rate is 1800 pcu⋅h −1 .
In this paper, a path is represented by intersections that EV passing through successively in the intersection group, and adjacent intersection is connected by "-".E, W, S, and N are adopted to represent the fact that vehicles have entered or left the intersection from east, from west, from south, and from north, respectively.For example, if an EV enters the intersection group from the west side of intersection 1 and leaves the intersection group through intersections 4, 5, and 6 by means of going straight, then the path can be described by W1-2-3-4E, W1-2-5 N, and W1-2-6S, respectively.Similarly, other paths can be obtained.Assume that the starting time of the first phase of each intersection is 0, namely,  1 = 0.At time  0 , ( 1b ) = ( 3b ) = 10 and ( 2b ) = ( 4b ) = 4, and ( 5b ) to ( 8b ) are all 5.For each intersection, ( 1e ) and ( 2e ) take random numbers from 8 to 12 on the road link from east to west and from west to east, and they are random numbers from 6 to 10 on the road link from north to south and from south to north.
Assume that an EV enters the intersection group from the upstream section of intersection 1 at 9 o'clock, 10 o'clock, 11 o'clock, and 12 o'clock, respectively, and leaves the intersection group at intersection 4; namely, the path of EV is W1-2-3-4E.Let , , , , and   denote the intersection, the current phase, the next phase, the phase of EV, and the residence time of EV at intersection , respectively.Simulation calculation is carried out and the simulation results are shown in Table 1.
We can see from Table 1 that, for the given route, if an EV is detected at different time, the current phase and the elapsed green time of the same intersection are different.Similarly, if an EV is detected at the same time, the current phase and the elapsed green time of different intersections are also not entirely the same.We can also see that the green time of the next phase equals 0 under some conditions, and all the cases that there exists EV residence time at certain intersections appear in these conditions.This implies that the EV will arrive at the intersection in a short time and the traffic light has to skip the next phase and switch to the EV phase directly after the current phase has executed correspondingly green time, which can be calculated by the method presented in Section 4.3.
Assume that the time of an EV entering the intersection group is generated randomly and the method presented in this paper is compared with the method of turning the signal of EV phase to green immediately after EV is detected.Taking the travel time of EV in the intersection group and  3.The obtained results of the average number of social vehicles passing through at all intersections by the presented method are also compared with that obtained by the comparison method and are shown in Figure 7.
We can see from Table 2 that there is little difference between the two indexes obtained by the method presented in this paper and the comparison method.Sometimes the results of the given method are better, and the results of the comparison method are better in the other cases; namely, better result of each index appears irregularly.While it can be concluded from Table 3 that, for all the paths, the number of social vehicles passing through each intersection obtained by the method presented in this paper is better than that obtained by the comparison method.For all the paths, the maximal improvement rate of the number of social vehicles passing through each intersection is 24.51%, 19.83%, 32.95%, 33.06%, 32.55%, and 32.95%, respectively, and for all the intersections the maximal improvement rate of that on each path is 10.07%, 11.28%, 20.94%, 18.79%, 9.77%, 32.95%, 27.19%, 16.88%, 33.06%, and 4.95%, respectively.It can be concluded from the results of Figure 7 that the average number of social vehicles passing through all the intersections obtained by this method is also better than that obtained by the comparison method.The maximal improvement rate is 29.49%, which is produced on path N5-2-1W.For path N5-2-3-4E, the average numbers of social vehicles passing through all the intersections obtained by the two methods are close to each other, and other improvement rates are between 5.03% and 27.33%.Through analysis of the simulation results, it can be concluded that the signal preemption control method can provide efficient and safe operating environment for EV and increase the number of social vehicles passing through the intersection group.

Conclusions and Future Work
In this paper, signal preemption control of EVs has been studied.Taking into account the characteristics of urban traffic network and the advantages of PN in describing urban traffic network, a modeling formalism based on TCPN is adopted to represent an urban traffic network of signalized intersections.Three models, namely, traffic flow model, traffic signal display and phase switch model, and traffic signal switch control model, are put together to form the whole TCPN model.Space discretization method is adopted in the traffic flow model to describe traffic flow on road sections and reflect vehicles that come from certain places on the roadside and enter one of the two road sections.The traffic signal display and phase switch model runs in accordance with corresponding control logic, which guarantees that the traffic signal can switch orderly under normal circumstances and switch to the EV phase as soon as possible when an EV is detected and minimize the effect of EV to social vehicles at the same time.The primary task of the traffic signal switch control model is to force traffic signal to change from EV phase to its next phase after EV has passed through the intersection.An EV preemption optimization control system is also designed in this paper, and the signal preemption behavior of traffic signal display and phase switch model and traffic signal switch control model depends on the calculation and command issued by this system.To verify the control effect of the signal preemption control strategies given in this paper, some computational comparisons are performed and simulation results indicate that the signal preemption control method can provide efficient and safe operating environment for EV and increase the number of social vehicles passing through the intersection group.Determine how the traffic signal should be converted back to the normal operation after EV signal preemption, the traffic flow characteristics, and other parameters; namely, the signal transition strategy is the next focus of the study.

Figure 1 :
Figure 1: Traffic flow and phases of signalized intersection.

Figure 2 :
Figure 2: TCPN model of traffic flow on road section.

Figure 3 :
Figure 3: TCPN model of traffic flow at intersection.
Model of Signalized Intersection.Based on the 4 phases signal control scheme as shown in Figure 1(b), the TCPN model of traffic flow at signalized intersection is established as shown in Figure 3.The marking of places  a ,  b , and  c ,  = 1, 2, ..., 8 represents traffic flow of direction  that is waiting to enter the intersection, in intersection area,

Figure 4 :
Figure 4: TCPN model of signal display and phase switch.

3. 2 .
TCPN Model of Traffic Signal Display and Phase Switch.Under normal circumstances, traffic signals at signalized intersection are switched in accordance with the four-phase sequence as shown in Figure 1(b).When unexpected event happens and EVs are used to evacuate and rescue, traffic signal should be switched to the phase of EV as soon as possible in the premise of minimizing the disturbance to social vehicles.The TCPN model shown in Figure 4 can reflect the two situations mentioned above.The normal lines reflect normal signal switch process and the black lines indicate signal switch process when there are EVs.The TCPN model shown in Figure 4 can display the change process of green, yellow, and red signals.According to the definition of TCPN, token is defined as a 2-tuple (, ).The first element  represents four phases,  ∈ {1, 2, 3, 4}.

Figure 5 :
Figure 5: Traffic signal switch control model.

Figure 6 :
Figure 6: Schema of urban intersection group.

Figure 7 :
Figure 7: The average number of social vehicles passed through at all intersections.
Speed of EV on Road Sections.Let ela , and

Table 1 :
Simulation results of EV arriving at different time.

Table 2 :
Comparison of simulation results.

Table 2 .
The comparison results of average number of social vehicles passing through each intersection under different routes are shown in Table

Table 3 :
The number of social vehicles passing through each intersection.