Design of a Supervisor for Traffic Light Systems

Timed Coloured Petri net (TCPN) has been utilized as a visual formalism for the modeling of complex systems. A module of basic traffic system of TCPN model is successfully constructed in this paper. Especially, a supervisor of an urban traffic light system, which consists of five intersections with multiple phases, is implemented by the new methodology. And all the traffic operations are ruled by the control logic of TCPN. In addition, a new design tool is proposed and it is efficiently to state and solve the problem of traffic signal timing plans. Finally, a supervisor of the traffic light system is completed whose operation flow is modeled by the TCPN models.

[1]  Mariagrazia Dotoli,et al.  Validation of an Urban Traffic Network Model using Colored Timed Petri Nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  Umit Ozguner,et al.  Decentralized hybrid intersection control , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[4]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[5]  Yi-Sheng Huang.  Design of Traffic Light Control Systems Using Statecharts , 2006, Comput. J..

[6]  Li Lin,et al.  Implementation of traffic lights control based on Petri nets , 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.

[7]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[8]  G. F. List,et al.  Modeling and evaluation of traffic signal control using timed Petri nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.