Title :
Modeling traffic signal control systems using timed colour Petri nets
Author :
Huang, Yi-Sheng ; Chung, Ta-Hsiang ; Chen, Che-Ting
Author_Institution :
Dept. of Aeronaut. Eng., Chung Cheng Inst. of Technol., Taoyuan, Taiwan
Abstract :
In this paper we present timed colour Petri nets (TCPN) to model a sophisticated traffic signal control system. The traffic signals that has not only red, amber, and green lights but also has the green lights that includes straightforward, turn left and turn right signals. Especially, at the same time, other direction can allow the vehicles turn right on the red light. To our knowledge, this is the first time work that proposed a methodology to model the extended four-phase traffic signal control system using TCPN. Comparison with Petri nets, our method can easily observe the duration time of each traffic signal. Furthermore, our system´s structure is compactness and its interpretation is explicit. The liveness and reversibility of the traffic signal control system model is approved.
Keywords :
Petri nets; automated highways; control system analysis computing; road traffic; timed colour Petri net; traffic signal control system modeling; Communication system traffic control; Control system synthesis; Control systems; Logic programming; Logic testing; Mathematical model; Petri nets; Traffic control; Transportation; Vehicle safety; ITS; TCPN and traffic signal;
Conference_Titel :
Systems, Man and Cybernetics, 2005 IEEE International Conference on
Print_ISBN :
0-7803-9298-1
DOI :
10.1109/ICSMC.2005.1571403