Design of a supervisor for traffic light systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4693 LNAI, Issue PART 2, 2007, Pages 704-711

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

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

Author keywords

Signal timing plan; Timed coloured petri nets; Traffic control

Indexed keywords

INTERSECTIONS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; TELECOMMUNICATION TRAFFIC; TRAFFIC SIGNALS;

DESIGN TOOLS; SIGNAL TIMING PLAN; TIMED COLOURED PETRI NETS; TRAFFIC LIGHT SYSTEM; VISUAL FORMALISM;

PETRI NETS;

EID: 38049091519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74827-4_89     Document Type: Conference Paper

References (9)

1. Lei, J., Ozguner, U.: Decentralized Hybrid intersection control. In: proc. 40th IEEE Int. Conf. Decision and Control, vol.2, pp. 1237-1242. IEEE Computer Society Press, Los Alamitos (2001)
2. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 541-580 (1989)
3. Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs (1981)
4. Wang, H., List, G.F., DiCesare, F.: Modeling and evaluation of traffic signal control using timed Petri nets. Proc. Systems, Man and Cybernetics 2, 180-185 (1993)
5. Li, L., Tang, N., Mu, X., Shi, F.: Implementation of Traffic Lights Control Based on Petri Nets. Proc. IEEE Intelligent Transportation Systems 2, 1087-1090 (2003)
6. Dotoli, M., Fanti, M.P., Lacobellis, G.: Validation of an Urban Traffic Network Model using Colored Timed Petri nets. In: IEEE Int. Conf. on. Systems, Man and Cybernetics, vol. 2, pp. 1347-1352 (2005)
7. Huang, Y.S.: Design of Traffic Light Control System Using Statecharts. Computer Journal 49, 634-649 (2006)
8. Jensen, K.: Coloured Petri Nets, vol. 1. Springer, New York (1995)
9. Jensen, K.: Coloured Petri Nets, vol. 2. Springer, New York (1997)