Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

@

Journal of Information Science and Engineering, Vol. 24 No. 3, pp. 875-890 (May 2008)

Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets*

Yi-Sheng Huang1 and Ta-Hsiang Chung2
1Department of Electrical and Electronic Engineering
2School of Defense Science
Chung Cheng Institute of Technology
National Defense University
Taoyuan, 335 Taiwan

Petri nets have been utilized as a visual formalism for the modeling of complex system. It illuminates the features on describing properties of causality, concurrency and synchronization. This paper focuses on the use of Timed Coloured Petri nets (Timed CP-nets) to model a basic traffic control system. A module of basic traffic control system of Timed CP-nets model is successfully constructed. The advantage of the proposed approach is that any complicated traffic signal models will be easily obtained based on the module. Moreover, a real-world supervisor of the urban traffic light system, which consists of three intersections with multiple phases, is implemented by the new methodology. The analysis method of place invariant is verified. And the Occurrence Graphs (OG) is performed to demonstrate how the model enforces the signal lights transitions. To our knowledge, this is the first work that proposes the new modeling methodology to design the traffic light control systems by Timed CP-nets.

Keywords: timed coloured Petri nets, traffic signal, phase transition, intelligent transportation system, traffic control

Full Text () Retrieve PDF document (200805_13.pdf)

Received November 6, 2006; revised March 2, 2007; accepted April 14, 2007.
Communicated by Chin-Teng Lin.
*This paper was partially supported by the National Science Council of Taiwan, R.O.C. under grand No. NSC 94-2218-E-014-001. The earlier version of this paper was presented at 2004 IEEE International Conference on System, Man and Cybernetics, Hawaii, October 10-12, 2005.