Tristono, T.; Cahyono, S. D.; Sukadi, S.; Triono, J.; Aji, S.; Sudarno, S.; Sidqon, M. Traffic Lights for a Five-Arm Intersection Using Petri Net Models. JMSK 2026, 22, 627-638.