Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore