Modeling and analysis of urban traffic lights control systems using timed CP-nets

Journal of Information Science and Engineering

Volumn 24, Issue 3, 2008, Pages 875-890

  Huang, Yi Sheng ^a   Chung, Ta Hsiang ^a  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

Author keywords

Intelligent transportation system; Phase transition; Timed coloured Petri nets; Traffic control; Traffic signal

Indexed keywords

ARCHITECTURAL DESIGN; COMPUTER NETWORKS; CONTROL SYSTEM ANALYSIS; CONTROL THEORY; GRAPH THEORY; IDENTIFICATION (CONTROL SYSTEMS); MARINE BIOLOGY; PETRI NETS; PNEUMATIC CONTROL EQUIPMENT; SIGNALING; STREET TRAFFIC CONTROL; TRAFFIC SIGNALS; TRAFFIC SIGNS;

(EXTENDED) PETRI NETS; (PL) PROPERTIES; ANALYSIS METHODS; COLOURED PETRI NETS (CPN); COMPLEX SYSTEMS; MODELING AND ANALYSIS; MODELING METHODOLOGIES; OCCURRENCE GRAPHS (OG); PLACE INVARIANTS; REAL WORLD; SIGNAL LIGHTS; SIGNAL MODELING; TRAFFIC LIGHT CONTROL SYSTEMS; URBAN TRAFFIC; VISUAL FORMALISMS;

CONTROL SYSTEMS;

EID: 44649114574     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (17)

1. D.I. Robertson and R. D. Bretherton, "Optimizing networks of traffic signals in real time-the SCOOT method," IEEE Transactions on Vehicular Technology, Vol. 40, 1991, pp. 11-15.
2. J. H. Lee and H. Lee-Kwang, "Distributed and cooperative fuzzy controllers for traffic intersection group," IEEE Transactions on Systems, Man and Cybernetics, Vol. 29, 1999, pp. 263-271.
3. L. Figureiredo, I. Jesus, J. A. T. Machado, J. R. Ferreira, and J. L. M. de Carvalho, "Towards the development of intelligent transportation systems," in Proceedings of IEEE Intelligent Transportation Systems, 2001, pp. 1206-1211.
4. M. Papageorgiou, C. Diakaki, V. Dinopoulou, A. Kotsialos, and Y. Wang, "Review of road traffic control strategies," in Proceedings of IEEE, 2003, pp. 2043-2067.
5. F. D. Cesare, P. Kulp, K. Gile, and G. List, "The application of Petri nets to the modeling analysis and control of intelligent urban traffic networks," in Proceedings of the 15th International Conference on Application and Theory of Petri Nets, LNCS 815, 1994, pp. 2-15.
6. T. Murata, "Petri nets: properties, analysis and applications," in Proceedings of IEEE, 1989, pp. 541-580.
7. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, Taipei, 1981.
8. H. Wang, G. F. List, and F. DiCesare, "Modeling and evaluation of traffic signal control using timed Petri nets," in Proceedings of IEEE Systems, Man and Cybernetics, 1993, pp. 180-185.
9. C. Tolba, P. Thomas, A. ElMoudni, and D. Lefebvre, "Performances evaluation of the traffic control in a single crossroad by Petri nets," in Proceedings of IEEE Emerging Technologies and Factory Automation, 2003, pp. 157-160.
10. J. Wang, C. Jin, and Y. Deng, "Performance analysis of traffic networks based on stochastic timed Petri net models," in Proceedings of IEEE Engineering of Complex Computer Systems, 1999, pp. 77-85.
11. L. Lin, T. Nan, M. Xiangyang, and S. Fubing, "Implementation of traffic lights control based on Petri nets," in Proceedings of IEEE Intelligent Transportation Systems, 2003, pp. 1087-1090.
12. F. Basile, C. Carbone, P. Chiacchio, R. K. Boel, and C. C. Avram, "A hybrid model for urban traffic control," IEEE International Conference on Systems, Man and Cybernetics, 2004, pp. 1795-1800.
13. M. Dotoli, M. P. Fanti, and G. Lacobellis, "Validation of an urban traffic network model using colored timed Petri nets," IEEE International Conference on Systems, Man and Cybernetics, 2005, pp. 1347-1352.
14. Y. S. Huang, "Design of traffic light control systems using Statecharts," The Computer Journal, Vol. 49, 2007, pp. 634-649.
15. K. Jensen, Coloured Petri Nets, Vol. 1, Springer-Verlag, New York, 1997.
16. K. Jensen, Coloured Petri Nets, Vol. 2, Springer-Verlag, New York, 1995.
17. "Computer tool for coloured Petri," http://wiki.daimi.au.dk/ cpntools/cpntools.wiki.