A Deterministic and Stochastic Petri Net Model for Traffic-Responsive Signaling Control in Urban Areas | IEEE Journals & Magazine | IEEE Xplore