Microscopic Modeling of a Signalized Traffic Intersection Using Timed Petri Nets | IEEE Journals & Magazine | IEEE Xplore