Responsive traffic signals designed with petri nets

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2008, Pages 1942-1947

  Soares, Michel Dos Santos ^a   Vrancken, Jos ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Discrete event systems; Formal methods; Petri nets; Road traffic control; Traffic signals

Indexed keywords

DESIGN MODELS; DISCRETE EVENT SYSTEMS; DYNAMIC BEHAVIORS; LEVELS OF DETAIL; MAIN ROADS; PLATOON OF VEHICLES; REAL TIME MEASUREMENTS; ROAD TRAFFIC CONTROL; SMALL NETWORKS; TIME INTERVAL; TRAFFIC CONDITIONS; TRAFFIC FLOW; TRANSPORTATION EFFICIENCY;

CONTROL THEORY; CYBERNETICS; DISCRETE EVENT SIMULATION; FORMAL METHODS; GRAPH THEORY; MACHINE DESIGN; MATHEMATICAL MODELS; PETRI NETS; ROADS AND STREETS; SIGNAL SYSTEMS; TIME MEASUREMENT; TRAFFIC CONTROL; TRAFFIC SURVEYS;

TRAFFIC SIGNALS;

EID: 69949181617     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2008.4811574     Document Type: Conference Paper

References (17)

1. J.S. Sussman, Perspectives on Intelligent Transportation Systems (ITS) (New York: Springer, 2006).
2. T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, 77(4), 1989, 541-580.
3. B. Hruz, M.C. Zhou, Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools, (New York: Springer, 2007).
4. J. Julvez, R. Boel, Modeling and Controlling Traffic Behaviour with Continuous Petri Nets, Proceedings of the 16th Triennial World Congress of the International Federation of Automatic Control (IFAC2005), Prague, Czech Republic, 2005.
5. G.F. List, and M. Cetin, Modeling Traffic Signal Control Using Petri Nets, IEEE Transactions on Intelligent Transportation Systems, 5(3), 2004, 177-187.
6. A. Correia, A.J. Abbas-Turki, R. Bouyekhf, A.E. Moudni, Controlling a model of traffic lights based on dioids, Proceedings of the 11th. IFAC Symposium on Control in Transportation Systems, Delft, The Netherlands, 2006, 302-307.
7. A. Febbraro, D. Giglio, Traffic-responsive signalling control through a modular/switching model represented via DTPN, Proceedings of the IEEE Intelligent Transportation Systems Conference, Toronto, Canada, 2006, 1430-1435.
8. M.S. Soares, J.L.M. Vrancken, Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic, Proceedings of the IEEE International Conference on Networking, Sensing and Control (ICNSC 2007), London, UK, 2007, 169-174.
9. C.J. Khisty and B.K. Lall, Transportation Engineering: An Introduction (New Jersey, Prentice Hall, 2003).
10. M.S. Soares, J.L.M. Vrancken, A Multi-Agent Distributed Architecture for Road Traffic Control, Proceedings of the 6th European Congress and Exhibition on Intelligent Transport Systems and Services, Aalborg, Denmark, 2007.
11. W.B. Rouse, Engineering complex systems: implications for research in systems engineering, IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, 33(2), 2003, 154-156.
12. J.L. Gallego, J.L. Farges, J.J. Henry, Design by Petri nets of an intersection signal controller, Transportation Research Part C: Emerging Technologies, 4(4), 1996, 231-248.
13. M. Voorhoeve, Techniques, in C. Girault, R. Valk (Ed.) Petri nets for System Engineering: A Guide to Modeling, Verification and Applications, Chapter 9, (Berlin, Springer-Verlag, 2003), 105-117.
14. R.P. Roess, E.S. Prassas, W.R. McShane, Traffic Engineering (New Jersey, Prentice Hall, 2004).
15. W. Khansa, P. Aygalinc, J.P. Denat, Structural analysis of p-time Petri nets, Proceedings of the Symposium on Discrete Events and Manufacturing Systems, CESA96 IMACS Multiconference, Lille, France, 1996, 127-136.
16. Traffic Detector Handbook (Virginia, Institute of Transportation Engineers, JHK & Associates, 1990).
17. S.-F. Cheng, M.A. Epelman, R.L. Smith, CoSIGN: A Parallel Algorithm for Coordinated Traffic Signal Control, IEEE Transactions on Intelligent Transportation Systems, 7(4), 2006, 551-564.