On representing signalized urban areas by means of deterministic-timed Petri-nets