THE CONSERVATION NUMBERS IN THE PETRI NET MODEL OF THREE-PHASE TRAFFIC LIGHTS WITH THE NORWEGIAN SYSTEM

  • Tomi Tristono Department of Informatics Management, University of Merdeka Madiun, Indonesia
  • Setiyo Daru Cahyono Department of Civil Engineering, University of Merdeka Madiun, Indonesia
  • Joko Triono Department of Informatics Management, University of Merdeka Madiun, Indonesia
  • Mochamad Sidqon Department of Informatics Engineering, University of 17 Agustus 1945 Surabaya, Indonesia
  • Seno Aji Department of Civil Engineering, University of Merdeka Madiun, Indonesia
  • Sudarno Sudarno Department of Mechanical Engineering, University of Merdeka Madiun, Indonesia
  • Nanang Junaedi Department of Informatics Management, University of Merdeka Madiun, Indonesia
DOI: https://doi.org/10.20884/1.jmp.2025.17.2.18067

Abstract

The Petri net model can be used to represent the discrete state behavior structure of traffic light signals. The Petri net model is also capable of presenting three-phase traffic light scheduling synchronization. This study aims to examine the three-phase traffic light Petri net model that implements the Norwegian system. The Petri net model must pass validation and verification tests, including the use of several Place-Invariants, its boundedness property, conservation, coverability for all states, and simulation. The study results indicate that the model complies with all Place-Invariants, meets all required properties, and the simulation is also accurate. Place-Invariants in each phase must include a dummy. The three-phase traffic light Petri net model with the Norwegian system has a conservation number that applies to the model as a whole. The conservation number is an extension of Place-Invariant that only applies partially to the model.

Published
2026-01-07
How to Cite
TRISTONO, Tomi et al. THE CONSERVATION NUMBERS IN THE PETRI NET MODEL OF THREE-PHASE TRAFFIC LIGHTS WITH THE NORWEGIAN SYSTEM. Jurnal Ilmiah Matematika dan Pendidikan Matematika, [S.l.], v. 17, n. 2, p. 133-150, jan. 2026. ISSN 2550-0422. Available at: <https://jos.unsoed.ac.id/index.php/jmp/article/view/18067>. Date accessed: 17 jan. 2026. doi: https://doi.org/10.20884/1.jmp.2025.17.2.18067.
Citation Formats
Issue
Vol 17 No 2 (2025): Jurnal Ilmiah Matematika dan Pendidikan Matematika (JMP)
Section
Articles
Creative Commons License

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

Each article is copyrighted © by its author(s) and licensed under CC BY-NC-ND License.

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.