Three–Phase Traffic Light Petri Net Model Using The Modified Norwegian System

Tomi  Tristono; Setiyo Daru Cahyono; Pradityo Utomo; Mochamad Sidqon; Sudarno; Daniel Wahyu Suprayoga Prabowo; Hendro Susilo

doi:10.36456/jstat.vol17.no2.a9591

Authors

Tomi Tristono University of Merdeka Madiun
Setiyo Daru Cahyono University of Merdeka Madiun
Pradityo Utomo University of Merdeka Madiun
Mochamad Sidqon Universitas 17 Agustus 1945 Surabaya
Sudarno University of Merdeka Madiun
Daniel Wahyu Suprayoga Prabowo University of Merdeka Madiun
Hendro Susilo University of Merdeka Madiun

DOI:

https://doi.org/10.36456/jstat.vol17.no2.a9591

Keywords:

Petri net model, traffic lights, modified Norwegian system

Abstract

Petri nets can be used to model the behavior of traffic light signals. The Petri net model also makes it possible to provide synchronization of several traffic light phases. The Petri net model can represent the modified Norwegian system signal, which lights up in the sequence green, yellow, red, yellow, and then goes back to green again. The yellow signal flashes twice in each traffic light cycle modified Norwegian system. This study aims to examine the Petri net model of traffic lights with three phases using the modified Norwegian system. Methods for validating and verifying the correctness of the Petri net model used several Place-Invariants, boundedness properties on the Petri net, conservation, coverability trees for various signal conditions, and simulation. Based on the study results, the Place-Invariant and the Petri net properties can represent that the model is correct and feasible. The simulation also presents the correct sequence of modified Norwegian system signals.

References

MKJI. Jakarta: Direktorat Jenderal Bina Marga Direktorat Bina Jalan Kota, Jakarta, 1997.

S. D. Cahyono, T. Tristono, Sutomo, and P. Utomo, “Model of demand order method of traffic lights phases,” J. Phys. Conf. Ser., vol. 1211, no. 1, pp. 0–9, 2019, doi: 10.1088/1742-6596/1211/1/012036.

D. Adzkiya, “Membangun Model Petri Net Lampu lalu Lintas dan Simulasinya,” ITS Surabaya, 2008.

T. Tristono, S. D. Cahyono, and P. Utomo, “‘ Place-Invariant’ Pada Model Petri Net Lampu Lalu Lintas,” in Prosiding Sendika, UMPwr, 2021, pp. 173–178.

O. Yaqub and L. Li, “Modeling and analysis of connected traffic intersections based on modified binary petri nets,” Int. J. Veh. Technol., vol. 2013, 2013, doi: 10.1155/2013/192516.

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

R. Anggrainingsih, S. P. Yohanes, and U. Salamah, “Analisis Dan Verifikasi Workflow Mengggunakan Petri Net,” in UDINUS, Semarang, Semantik, 2014, pp. 150–156.

S. R. Puri and W. Pramesthi, “Model Petri Net Sistem Jaringan Antrean Multichannel Tak-Siklik 5 Server,” J. Transform. - Univ. PGRI Banyuwangi, vol. 2, no. 2, pp. 40–50, 2018.

M. Z. Irawan, “Analisis Dampak Lalu Lintas (Simpang Bersinyal).” UGM, Yogyakarta, 2019.

N. D. Safitri, “Karakteristik Domain Waktu dan Frekuensi pada Sistem Linear Time Invariant (LTI),” UIN Sunan Kalijaga - Yogyakarta, 2019.