Melola Discovery

← Melola Discovery

Akses terbuka Jurnal

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

Jurnal Matematika, Statistika dan Komputasi · Vol. 22 No. 3 (2026) · hlm. 627–638

DOI
10.20956/j.v22i3.49752
ISSN
2614-8811, 1858-1382
Terbit
2026-05-14
Penerbit
Department of Mathematics, Hasanuddin University
Bahasa
en
Lisensi
creativecommons.org/licenses/by/4.0

Abstrak

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.

Kata kunci

Jaringan kolaborasi para penulis

21 penulis · 46 tautan kepenulisan bersama

Arahkan kursor atau ketuk sebuah nama untuk menyorot rekan penulisnya. Klik dua kali untuk membuka halaman penulis.

  • Universitas Halu Oleo
  • State University of Semarang
  • Afiliasi tidak diketahui
  • Organisasi berbeda
  • Organisasi sama
  • Afiliasi tidak diketahui
  • Garis lebih tebal = lebih banyak artikel bersama · lingkaran lebih besar = lebih banyak artikel
Tampilkan sebagai tabel
Rekan penulisOrganisasiArtikel bersama
Pradityo UtomoAfiliasi tidak diketahui3
Asriyana AsriyanaUniversitas Halu Oleo1
Hasnia AramiUniversitas Halu Oleo1
Wijanarka WijanarkaAfiliasi tidak diketahui1
Novi A. PratamaAfiliasi tidak diketahui1
Annisa Wirrdiana YuniasihAfiliasi tidak diketahui1
Faiz Sabila RosyadaAfiliasi tidak diketahui1
Siti NurlaelaAfiliasi tidak diketahui1
Yahya Nur IfrizaState University of Semarang1
Muhammad SabandiAfiliasi tidak diketahui1
Nugraheni RamadhonaAfiliasi tidak diketahui1
Budi WijayaAfiliasi tidak diketahui1
Ganjar SamudroAfiliasi tidak diketahui1
Rachmad ArdhiantoAfiliasi tidak diketahui1

Afiliasi berasal dari OpenAlex; metadata OAI-PMH jurnal tidak memuatnya. Penulis tanpa ID OpenAlex dicocokkan berdasarkan nama, sehingga dua orang bisa tergabung atau satu orang bisa terpisah.

Sumber metadata: OAI-PMH (metadata jurnal) https://journal.unhas.ac.id/index.php/jmsk/oai, pertama di-harvest 5 Nov 2026, terakhir terlihat 5 Nov 2026.
Metadata asli (oai_dc) 
<oai_dc:dc xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/  http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
	<dc:title xml:lang="en">Traffic Lights for a Five-Arm Intersection Using Petri Net Models</dc:title>
	<dc:creator xml:lang="en">Tristono, Tomi</dc:creator>
	<dc:creator xml:lang="en">Cahyono, Setiyo Daru</dc:creator>
	<dc:creator xml:lang="en">Sukadi, Sukadi</dc:creator>
	<dc:creator xml:lang="en">Triono, Joko</dc:creator>
	<dc:creator xml:lang="en">Aji, Seno</dc:creator>
	<dc:creator xml:lang="en">Sudarno, Sudarno</dc:creator>
	<dc:creator xml:lang="en"> Sidqon, Mochamad</dc:creator>
	<dc:subject xml:lang="en">Traffic light model</dc:subject>
	<dc:subject xml:lang="en">,A five-arm intersection</dc:subject>
	<dc:subject xml:lang="en">Petri net</dc:subject>
	<dc:subject xml:lang="en"> Behavior structure</dc:subject>
	<dc:subject xml:lang="en"> Discrete system</dc:subject>
	<dc:description xml:lang="en">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.</dc:description>
	<dc:publisher xml:lang="en">Department of Mathematics, Hasanuddin University</dc:publisher>
	<dc:date>2026-05-14</dc:date>
	<dc:type>info:eu-repo/semantics/article</dc:type>
	<dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
	<dc:format>application/pdf</dc:format>
	<dc:identifier>https://journal.unhas.ac.id/index.php/jmsk/article/view/49752</dc:identifier>
	<dc:identifier>10.20956/j.v22i3.49752</dc:identifier>
	<dc:source xml:lang="en">Jurnal Matematika, Statistika dan Komputasi; Vol. 22 No. 3 (2026): May 2026; 627-638</dc:source>
	<dc:source>2614-8811</dc:source>
	<dc:source>1858-1382</dc:source>
	<dc:language>en</dc:language>
	<dc:relation>https://journal.unhas.ac.id/index.php/jmsk/article/view/49752/14415</dc:relation>
	<dc:rights xml:lang="en">Copyright (c) 2026 Jurnal Matematika, Statistika dan Komputasi</dc:rights>
	<dc:rights xml:lang="en">https://creativecommons.org/licenses/by/4.0</dc:rights>
</oai_dc:dc>