Traffic Lights for a Five-Arm Intersection Using Petri Net Models

Authors

  • Tomi Tristono Universitas Merdeka Madiun
  • Setiyo Daru Cahyono Universitas Merdeka Madiun
  • Sukadi Sukadi Universitas Merdeka Madiun
  • Joko Triono Universitas Merdeka Madiun
  • Seno Aji Universitas Merdeka Madiun
  • Sudarno Sudarno Universitas Merdeka Madiun
  • Mochamad Sidqon Universitas 17 Agustus 1945 Surabaya

DOI:

https://doi.org/10.20956/j.v22i3.49752

Keywords:

Traffic light model, ,A five-arm intersection, Petri net, Behavior structure, Discrete system

Abstract

This study aims to examine the traffic light model for a five-arm intersection. Two types of traffic light models were studied, namely the standard type and the modified Norwegian type. Traffic lights have a fixed phase scheduling sequence. The traffic light modeling method uses Petri nets to graphically represent the behavioral structure of mathematical modeling symbols in distributed discrete systems. The results of the study show that the Occurrence Graph of the standard traffic light and the modified Norwegian traffic light meet the Coverability Tree requirements for all possible finite states. The Coverability Tree method also includes the properties of boundedness and conservation, along with all transition sequences that fire. The Petri net model satisfies the live property because it never enters a deadlock or a state where no transition can fire. The Petri net model has also satisfied the Invariants property, which represents signal behavior that does not change over time. The Petri net model is declared correct and valid because it satisfies all required properties. The model can present the structure of traffic light behavior at a five-arm intersection.

References

[1]. 1 Adzkiya, D., 2008. Building a Petri Net Model of Traffic Lights and Its Simulation. ITS Surabaya.

[2]. Anggrainingsih, R., Yohanes, S.P., Salamah, U., 2014. Analisis Dan Verifikasi Workflow Mengggunakan Petri Net. In: UDINUS, Semarang, Semantik. p. 150–6.

[3]. Cahyono, S.D., Tristono, T., Sutomo, Utomo, P., 2019. Model of demand order method of traffic lights phases. J Phys Conf Ser. 1211(1): 0–9.

[4]. MKJI., 1997. “Manual Kapasitas Jalan Indonesia.” Jakarta: Direktorat Jenderal Bina Marga Direktorat Bina Jalan Kota, Jakarta.

[5]. Mohammadi, M., Dideban, A., Moshiri, B., 2023. A Novel Approach to Modular Control of Highway and Arterial Networks using Petri Nets Modeling. Int J Eng. 36(08):1578–88.

[6]. Muraviev, N.D., Kulagin, V.P., Zhukov, D.O., 2025. Software Tool for the Synthesis of Petri Net Models of Parallel Computing Systems., Wave Electronics and its Application in Information and Telecommunication Systems (WECONF). St. Petersburg, Russian Federation.

[7]. Pramesthi, SRPW., 2018. Model Petri Net Sistem Jaringan Antrean Multichannel Tak-Siklik 5 Server. J Transform - Univ PGRI Banyuwangi. 2(2):40–50.

[8]. Prasanna, S., Gulati, A.S., C, A.H., Prabhu, A., Das, M., Mohan, B.R., 2024. Petri Net-Based Verification of Adaptive Traffic Light Control with AIMD Algorithm., IEEE IATMSI. Gwalior, India.

[9]. Qi, L., Luan, W., Liu, G., Lu, X.S., Guo, X., 2020. A Petri Net-based Traffic Rerouting System by Adopting Traffic Lights and Dynamic Message Signs., IEEE International Conference on Networking, Sensing and Control (ICNSC).

[10]. Row, T.C., Lee, S.C., Cheng, J.F., 2024. Designing Traffic Light Signals to Ease Congestion Caused by Traffic Accidents Using Timed Petri Net. Appl Sci. 14(23).

[11]. Safitri, N.D., 2019. Karakteristik Domain Waktu dan Frekuensi pada Sistem Linear Time Invariant (LTI), Time Domain Characteristics and Frequency in Linear Time Invariant (LTI) Systems. UIN Sunan Kalijaga - Yogyakarta.

[12]. Shajkin, A., Rudakovskaya, E., Savitskaya, T., Lebedeva, M., Osipchik, V., 2021. Modelling of Traffic Systems and Simulation of Their Control Using Petri Nets. In: 21st International Multidisciplinary Scientific GeoConference SGEM 2021.

[13]. Soares, M.D.S., 2010. Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems. TU Delft.

[14]. Tristono, T., Cahyono, S.D., Utomo, P., 2021. “ Place-Invariant” Pada Model Petri Net Lampu Lalu Lintas. In: Prosiding Sendika, UMPwr. p. 173–8.

[15]. Tristono, T., Cahyono, S.D., Utomo, P., Sidqon, M., Prabowo, D.W.S., Susilo, H., 2024. Three – Phase Traffic Light Petri Net Model Using The Modified Norwegian System. J Stat. 17(2):75, 1–9.

[16]. Tristono, T., Sidqon, M., Aji, S., 2023. Model Lampu Lalu Lintas dengan Tiga Fase Menggunakan Petri Net. In: SENDIKMAD 2023. Yogyakarta: UAD. p. 8–15.

[17]. Yaqub, O., Li, L., 2013. Modeling and analysis of connected traffic intersections based on modified binary petri nets. Int J Veh Technol.

Downloads

Published

2026-05-14

How to Cite

Tristono, T., Cahyono, S. D., Sukadi, S., Triono, J., Aji, S., Sudarno, S., & Sidqon, M. (2026). Traffic Lights for a Five-Arm Intersection Using Petri Net Models. Jurnal Matematika, Statistika Dan Komputasi, 22(3), 627–638. https://doi.org/10.20956/j.v22i3.49752

Issue

Vol. 22 No. 3 (2026): May 2026

Section

Research Articles

License

Copyright (c) 2026 Jurnal Matematika, Statistika dan Komputasi

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

Jurnal Matematika, Statistika dan Komputasi is an Open Access journal, all articles are distributed under the terms of the Creative Commons Attribution License, allowing third parties to copy and redistribute the material in any medium or format, transform, and build upon the material, provided the original work is properly cited and states its license.  This license allows authors and readers to use all articles, data sets, graphics and appendices in data mining applications, search engines, web sites, blogs and other platforms by providing appropriate reference.