Traffic Lights for a Five-Arm Intersection Using Petri Net Models. Jurnal Matematika, Statistika dan Komputasi, v. 22, n. 3, p. 627–638, 14 May2026.