On using petri nets for representing and controlling signalized urban areas: New model and results | IEEE Conference Publication | IEEE Xplore