Traffic Lights for a Five-Arm Intersection Using Petri Net Models. JMSK. 2026;22(3):627-638. doi:10.20956/j.v22i3.49752