T. Tristono, “Traffic Lights for a Five-Arm Intersection Using Petri Net Models”, JMSK, vol. 22, no. 3, pp. 627–638, May 2026.