Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore