A modular Petri net to modeling and scenario analysis of a network of road traffic signals

Control Engineering Practice

Volumn 20, Issue 11, 2012, Pages 1183-1194

  dos Santos Soares, Michel ^a   Vrancken, Jos ^b  

^a FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Formal analysis; Linear logic; Petri nets; Real time systems; Traffic signals control

Indexed keywords

DYNAMIC BEHAVIORS; FORMAL ANALYSIS; GOOD PRACTICES; LINEAR LOGIC; NET COMPONENT; SCENARIO ANALYSIS; SYSTEM ELEMENTS; TIME INTERVAL;

COMPUTER SIMULATION; INTERACTIVE COMPUTER SYSTEMS; PETRI NETS; REAL TIME SYSTEMS; THEOREM PROVING;

TRAFFIC SIGNALS;

EID: 84866883278     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2012.06.005     Document Type: Article

References (41)

1. Basile F., Chiacchio P., Teta D. A hybrid model for real time simulation of urban traffic. Control Engineering Practice 2012, 20(2):123-137.
2. Brave Y. Control of discrete event systems modeled as hierarchical state machines. IEEE Transactions on Automatic Control 1993, 38(12):1803-1819.
3. Brown, C. (1989). Relating Petri nets to formulas of linear logic. Technical Report ECS-LFCS-89-87. University of Edinburgh.
4. Cassandras C.G., Lafortune S. Introduction to discrete event systems 2006, Springer-Verlag, Secaucus, NJ, USA.
5. Cheng Y.-H., Yang L.-A. A fuzzy Petri nets approach for railway traffic control in case of abnormality: Evidence from taiwan railway system. Expert Systems with Applications 2009, 36:8040-8048.
6. Choppy C., Mayero M., Petrucci L. Experimenting formal proofs of Petri nets refinements. Electronic Notes in Theoretical Computer Science 2008, 214:231-254.
7. Demmou D., Khalfaoui S., Guilhem E., Valette R. Critical scenarios derivation methodology for mechatronic systems. Reliability Engineering & System Safety 2004, 84(1):33-44.
8. DiCesare, F., Kulp, P. T., Gile, M., & List, G. (1994). 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 (pp. 2-15).
9. Dotoli M., Fanti M.P. An urban traffic network model via coloured timed Petri nets. Control Engineering Practice 2006, 14(10):1213-1229.
10. Dotoli M., Fanti M.P., Mangini A.M., Stecco G., Ukovich W. The impact of ICT on intermodal transportation systems: A modelling approach by Petri nets. Control Engineering Practice 2010, 18(8):893-903.
11. Engberg, U., & Winskel, G. (1990). Petri nets as models of linear logic. In A. Arnold (Ed.), Proceedings of colloquium on trees in algebra and programming. Lecture Notes in Computer Science, Vol 389 (pp. 147-161). Copenhagen, Denmark: Springer-Verlag.
12. Febbraro, A.D., Giglio, D., 2006. Urban traffic control in modular/switching deterministic-timed Petri nets. In Proceedings of the eleventh IFAC symposium on control in transportation systems. IFAC.
13. Febbraro A.D., Giglio D., Sacco N. Urban traffic control structure based on hybrid Petri nets. IEEE Transactions on Intelligent Transportation Systems 2004, 5(4):224-237.
14. Gallego J., Farges J., Henry J. Design by Petri nets of an intersection signal controller. Transportation Research Part C: Emerging Technologies 1996, 4(4):231-248.
15. Gehlot, V., & Gunter, C. A. (1989). Nets as tensor theories. In G. D. Michelis (Ed.), Proceedings of the tenth international conference on application and theory of Petri nets (pp. 174-191). Bonn, Germany.
16. Girard J.-Y. Linear logic. Theoretical Computer Science 1987, 50(1):1-102.
17. Girault C., Valk R. Petri nets for systems engineering-A guide to modeling, verification, and applications 2003, Springer-Verlag, Berlin.
18. Girault F., Pradier-Chezalviel B., Valette R. A logic for Petri nets. Journal Européen des Systèmes Automatisés 1997, 31(3):525-542.
19. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 1987, 8(3):231-274.
20. Huang, H., & Kirchner, H. (2009). Policy composition based on Petri nets. In Proceedings of the computer software and applications conference, Vol 2.
21. Huang Y.-S. Design of traffic light control systems using statecharts. Computer Journal 2006, 49(6):634-649.
22. Huang Y.-S., Chung T.-H. Modeling and analysis of urban traffic lights control systems using timed CP-nets. Journal of Information Science and Engineering 2008, 24(3):875-890.
23. Huang Y.-S., Chung T.-H. Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets. Transactions of the Institute of Measurement and Control 2011, 33:30-49.
24. Huang, Y.-S., Chung, T.-H., & ChenSystems, C.-T. (2005). Modeling traffic signal control systems using timed colour Petri nets. In Proceedings of the 2005 IEEE international conference on systems, man and cybernetics(pp. 1759-1764), Vol 2.
25. Hunt, P., Robertson, D., Bretherton, R., & Winton, R. (1981). SCOOT-A traffic responsive method of coordinating signals. Technical Report. TRRL Laboratory Report 1014. Crowthrone, Berkshire, UK: Transport and Road Research Laboratory.
26. Khansa, W., Denat, J. P., & Collart-Dutilleul, S. (1996). P-time Petri nets for manufacturing systems. In Proceedings of the international workshop on discrete event systems (WODES'96) (pp. 94-102).
27. Khisty C.J., Lall B.K. Transportation engineering: An introduction 2003, Prentice Hall, New Jersey, USA. 3rd ed.
28. Klein L. Sensor technologies and data requirements for ITS 2001, Artech House, Boston, USA.
29. Lee W.-H., Tseng S.-S., Shieh W.-Y. Collaborative real-time traffic information generation and sharing framework for the intelligent transportation system. Information Sciences 2010, 180(1):62-70.
30. List G.F., Cetin M. Modeling traffic signal control using Petri nets. IEEE Transactions on Intelligent Transportation Systems 2004, 5(3):177-187.
31. Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE 1989, 77(4):541-580.
32. Robertson, D. (1969). TRANSYT: A traffic network study tool. Technical Report. LR 253. Crowthrone, Berkshire, UK: Transport and Road Research Laboratory.
33. Roess R.P., Prassas E.S., McShane W.R. Traffic Engineering 2004, Pearson Prentice Hall, Upper Saddle River, New Jersey, USA. 3rd Edition.
34. Rouse W.B. Engineering complex systems: Implications for research in systems engineering. IEEE Transactions on Systems, Man, and Cybernetics, Part C 2003, 33(2):154-156.
35. Soares, M.S. (2011). Modeling and analysis of discrete event systems using a Petri net component. In Proceedings of the IEEE international conference on systems, man and cybernetics (pp. 814-819).
36. Soares, M.S., & Vrancken, J. (June 2007a). A Multi-agent distributed architecture for road traffic control. In Europe, E.I. (Ed.), Proceedings of the 6th european congress on intelligent transport systems and services, Vol. CD-ROM.
37. Soares, M.S., & Vrancken, J. (2007b). Road traffic signals modeling and analysis with Petri nets and linear logic. In 2007 IEEE international conference on networking, sensing and control (pp. 169-174).
38. Soares, M.S., & Vrancken, J. (2007c). Scenario analysis of a network of traffic signals designed with Petri nets. Urban transport XIII. Urban Transport and the Environment in the 21st Century (pp. 289-297). UK: Wessex Institute of Technology
39. Tolba C., Lefebvre D., Thomas P., Moudnia A.E. Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling. Simulation Modelling Practice and Theory 2006, 13(5):407-436.
40. Vogler W. Modular construction and partial order semantics of Petri nets 1992, Springer-Verlag, Inc., New York, Secaucus, NJ, USA.
41. Zhou M.C., Dicesare F., Rudolph D. Design and implementation of a Petri net supervisory for a flexible manufacturing system. IEEE Transactions on Robotics Automation 1992, 28(6):1199-1208.