An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods

Figure 7

Representation of the entire road network considered in this simulation.