¡@
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
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.