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

Volume

2

fYear

2006

fDate

4-6 Oct. 2006

Firstpage

2151

Lastpage

2156

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CESA.2006.4281994

Filename

4281994