Melola Discovery

← Melola Discovery

Open access Journal

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

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

DOI
10.20956/j.v22i3.49752
ISSN
2614-8811, 1858-1382
Published
2026-05-14
Publisher
Department of Mathematics, Hasanuddin University
Language
en
License
creativecommons.org/licenses/by/4.0

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.

Keywords

Collaboration network of the authors

21 authors · 46 co-authorship links

Hover or tap a name to highlight its co-authors. Double-click to open the author's page.

  • Universitas Halu Oleo
  • State University of Semarang
  • Affiliation unknown
  • Different organisations
  • Same organisation
  • Affiliation unknown
  • Thicker line = more joint articles · bigger circle = more articles
Show as table
Co-authorOrganisationJoint articles
Pradityo UtomoAffiliation unknown3
Asriyana AsriyanaUniversitas Halu Oleo1
Hasnia AramiUniversitas Halu Oleo1
Wijanarka WijanarkaAffiliation unknown1
Novi A. PratamaAffiliation unknown1
Annisa Wirrdiana YuniasihAffiliation unknown1
Faiz Sabila RosyadaAffiliation unknown1
Siti NurlaelaAffiliation unknown1
Yahya Nur IfrizaState University of Semarang1
Muhammad SabandiAffiliation unknown1
Nugraheni RamadhonaAffiliation unknown1
Budi WijayaAffiliation unknown1
Ganjar SamudroAffiliation unknown1
Rachmad ArdhiantoAffiliation unknown1

Affiliations come from OpenAlex; journal OAI-PMH metadata carries none. Authors without an OpenAlex ID are matched by name, which can merge or split people.

Metadata source: OAI-PMH (metadata jurnal) https://journal.unhas.ac.id/index.php/jmsk/oai, first harvested 5 Nov 2026, last seen 5 Nov 2026.
Original metadata (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>