SpringerLink
Log in

Modular design and adaptive control of urban signalized intersections systems using synchronized timed Petri nets

  • Original Paper
  • Published:
Personal and Ubiquitous Computing Aims and scope Submit manuscript

Abstract

Traffic flow at urban intersections varies randomly during the day. It depends on several dynamic factors and requires efficient regulation and flexible control strategies in particular for traffic light regulation. The proposed strategy allows managing the green light time autonomously. The dynamic behavior of traffic signals at intersections can be seen as a discrete event system. Through this paper, a modular Timed Synchronized Petri Net (TSPN) model is developed using a real-time adaptive control strategy of urban signalized intersections. The control is shared between two communicant actors. The slaves (TSPN modules) control the traffic signal displays, phases transitions, and model traffic flow fluctuations. The master (controller) decides the next phase that should be serviced and calculates its variable green light time. Attributable to their modularity, the developed models reduce complexity, and, more importantly, they are able to be adapted easily to any real intersection. Furthermore, various traffic signals control strategies could be implemented using these models. However, some interesting properties of the system are checked, and some simulations are performed and analyzed in order to validate the proposed control approach.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Germany)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13

Similar content being viewed by others

References

  1. Castro GB, Hirakawa AR, Martini JS (2017) Adaptive traffic signal control based on bio-neural network. Procedia Comput Sci 109:1182–1187

    Article  MATH  Google Scholar 

  2. Chen Y, Li Z, Barkaoui K, Wu N, Zhou M (2017) Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs. IEEE Trans Syst Man Cybern Syst 47(2):364–379

    Article  MATH  Google Scholar 

  3. Diakaki C, Papageorgiou M, Aboudolas K (2002) A multivariable regulator approach to traffic-responsive network-wide signal control. Control Eng Pract 10(2):183–195

    Article  MATH  Google Scholar 

  4. DiCesare F, Kulp PT, Gile M, List G (1994) The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks. In: Valette R (ed) Application and theory of Petri nets 1994. Springer, Berlin Heidelberg, pp 2–15

    Chapter  MATH  Google Scholar 

  5. Di Febbraro A, Giglio D, Sacco N (2015) A deterministic and stochastic Petri net model for traffic-responsive signaling control in urban areas. IEEE Trans Intell Transp Syst 17(2):510–524

    Article  MATH  Google Scholar 

  6. Dotoli M, Fanti MP (2004) An urban traffic network model via coloured timed petri nets. IFAC Proc Vol 37(18):207–212. https://doi.org/10.1016/S1474-6670(17)30747-4

    Article  MATH  Google Scholar 

  7. El-Tantawy S, Abdulhai B, Abdelgawad H (2013) Multiagent reinforcement learning for integrated network of adaptive traffic signal controllers (MARLIN-ATSC): methodology and large-scale application on downtown Toronto. IEEE Trans Intell Transp Syst 14(3):1140–1150

    Article  Google Scholar 

  8. Febbraro AD, Giglio D (2004) On representing signalized urban areas by means of deterministic-timed Petri nets. Proceedings. The 7th International IEEE conference on intelligent transportation systems (IEEE Cat. No.04th8749) pp 372–377. https://doi.org/10.1109/ITSC.2004.1398927

  9. Febbraro AD, Giglio D (2006) Urban traffic control in modular/switching deterministic-timed petri nets. IFAC Proc Vol 39(12):153–158. https://doi.org/10.3182/20060829-3-NL-2908.00027

    Article  MATH  Google Scholar 

  10. Gartner NH, Tarno PJ, Andrews CM (1991) Evaluation of optimized policies for adaptive control strategy. Transp Res Rec (1324)

  11. Huang Y-S, Weng Y-S, Zhou M (2018) Design of regulatory traffic light control systems with synchronized timed Petri nets. Asian J Control 20(1):174–185

    Article  MathSciNet  MATH  Google Scholar 

  12. Idel Mahjoub Y, Nait-Sidi-Moh A, Chakir El Alaoui E, Tajer A (2018) Petri nets conflicts resolution for performance evaluation and control of urban bus networks: a (max,+)-based approach. Transp Sci Transp A 1–30

  13. Jovanović A, Nikolić M, Teodorović D (2017) Area-wide urban traffic control: a bee colony optimization approach. Transp Res C Emerg Technol 77:329–350

    Article  MATH  Google Scholar 

  14. List GF, Cetin M (2004) Modeling traffic signal control using Petri nets. IEEE Trans Intell Transp Syst 5(3):177–187. https://doi.org/10.1109/TITS.2004.833763

    Article  MATH  Google Scholar 

  15. List GF, Mashayekhi M (2016) A modular colored stochastic petri net for modeling and analysis of signalized intersections. IEEE Trans Intell Transp Syst 17(3):701–713. https://doi.org/10.1109/TITS.2015.2483324

  16. Lopez PA, Behrisch M, Bieker-Walz L, Erdmann J, Flötteröd Y-P, Hilbrich R, Wießner E (2018) Microscopic traffic simulation using sumo. The 21st ieee international conference on intelligent transportation systems

  17. Luo J, Huang Y-S, Weng Y-S (2019) Design of variable traffic light control systems for preventing two-way grid network traffic jams using timed Petri nets. IEEE Trans Intell Transp Syst

  18. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580. https://doi.org/10.1109/5.24143

    Article  MATH  Google Scholar 

  19. Robertson DI, Bretherton RD (1991) Optimizing networks of traffic signals in real time-the SCOOT method. IEEE Trans Veh Technol 40(1):11–15

    Article  MATH  Google Scholar 

  20. Shiri MS, Maleki HR (2017) Maximum green time settings for traffic-actuated signal control at isolated intersections using fuzzy logic. Int J Fuzzy Syst 19(1):247–256

    Article  MATH  Google Scholar 

  21. Sims AG, Dobinson KW (1980) The Sydney coordinated adaptive traffic (SCAT) system philosophy and benefits. IEEE Trans Veh Technol 29(2):130–137

    Article  MATH  Google Scholar 

  22. Tolba C, Lefebvre D, Thomas P, El Moudni A (2005) Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling. Simul Model Pract Theory 13(5):407–436

    Article  MATH  Google Scholar 

  23. Tzes A, Kim S, McShane WR (1996) Applications of Petri networks to transportation network modeling. IEEE Trans Veh Technol 45(2):391–400

    Article  MATH  Google Scholar 

  24. Wang J, Yan J, Li L (2015) Microscopic modeling of a signalized traffic intersection using timed Petri nets. IEEE Trans Intell Transp Syst 17(2):305–312

    Article  MATH  Google Scholar 

  25. Wang Y, Szeto WY, Han K, Friesz TL (2018) Dynamic traffic assignment: a review of the methodological advances for environmentally sustainable road transportation applications. Transp Res B Methodol 111:370–394

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LISA Laboratory, Cadi Ayyad University, Marrakesh, Morocco

    Hajar Lamghari Elidrissi & Abdelouahed Tajer

  2. Jean Monnet University LASPI, F-42023, Saint Etienne, France

    Ahmed Nait Sidi Moh

Authors
  1. Hajar Lamghari Elidrissi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ahmed Nait Sidi Moh
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abdelouahed Tajer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hajar Lamghari Elidrissi.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lamghari Elidrissi, H., Nait Sidi Moh, A. & Tajer, A. Modular design and adaptive control of urban signalized intersections systems using synchronized timed Petri nets. Pers Ubiquit Comput (2024). https://doi.org/10.1007/s00779-024-01797-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00779-024-01797-6

Keywords

Search

Navigation