Title :
A Timed Coloured Petri Net Supervisor for Urban Traffic Networks
Author :
Huang, Yi-Sheng ; Chung, Ta-Hsiang ; Lin, Jenn-Huei
Author_Institution :
Dept. of Aeronaut. Eng., National Defense Univ., Taoyuan
Abstract :
An urban traffic network of signalized intersections can be suitably modeled as discrete event system, in which the traffic light alternations are described by means of timed coloured Petri nets (TCPN). In this paper, a model of such a network via TCPN is used to state and solve the problem of coordinating several traffic lights. Moreover, some relevant experimental results are presented and discussed. The analysis of the control TCPN models is performed by occurrence graphs (OG) method. And then the relation of the liveness and reversibility of the control TCPN nets will be obtained. Finally, an urban traffic lights´ control structure with nine intersections will be realized
Keywords :
Petri nets; discrete event systems; road traffic; transportation; discrete event system; occurrence graph method; timed coloured Petri net supervisor; urban traffic networks; Communication system traffic control; Control systems; Discrete event systems; Intelligent transportation systems; Lighting control; Petri nets; Roads; Telecommunication traffic; Traffic control; Vehicle safety; intelligent transportation system; timed coloured Petri nets (TCPN); traffic light;
Conference_Titel :
Computational Engineering in Systems Applications, IMACS Multiconference on
Conference_Location :
Beijing
Print_ISBN :
7-302-13922-9
Electronic_ISBN :
7-900718-14-1
DOI :
10.1109/CESA.2006.4281994
