Research Article
An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
Table 2
Structured information for each modelled and simulated road.
| | Length considered | Length of the traffic lane (number of cells) |
| | Number and direction of traffic-lanes | Number of traffic lanes - direction |
| | Possible next road in the intersection A | Next road to follow |
| | Possible next road in the intersection B | Possible next road to follow (directions) |
| | Traffic flow control at the intersection B for each traffic-lane | Traffic-lane | Right | Left and central | Time | | Red: | Time | Time | Time | seconds | | Yellow: | Time | Time | Time | seconds | | Green: | Time | Time | Time | seconds |
| | Pedestrians flow control in the pedestrian crossing number one | Traffic-light: | | Green: time [s] | | Red: time [s] |
| | Features of the Bus stop | Location | coordinates | | Length | Length of the bus station [m] | | Buses | Buses no. lanes |
| | Pedestrian crossing number two | Pedestrians’ desire |
| | Maximum velocity | Max. speed allowed on this sector km/h |
| | Types of vehicles allowed Automobiles, Motorbikes and Buses | |
|
|
