DocumentCode :
447449
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
Volume :
2
fYear :
2005
fDate :
10-12 Oct. 2005
Firstpage :
1759
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2005 IEEE International Conference on
Print_ISBN :
0-7803-9298-1
Type :
conf
DOI :
10.1109/ICSMC.2005.1571403
Filename :
1571403
Link To Document :
بازگشت