On using petri nets for representing and controlling signalized urban areas: New model and results