A Deterministic and Stochastic Petri Net Model for Traffic-Responsive Signaling Control in Urban Areas