Research Article
An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
Table 1
Description of the matrix number of cells per different road (with different road-elements).
| | -1 | Empty cell |
| | -2 | Bus station inside the traffic-lane |
| | -3 | Tram station inside the traffic-lane |
| | -4 | Pedestrian crossings |
| | -5 | Possible parking lot alongside for automobiles on the right side of the road |
| | -55 | Border of a parking lot alongside for automobiles on the right side of the road |
| | -6 | Possible transversal parking lot for automobiles on the right side of the road (right place) |
| | -66 | Border of a transversal parking lot for automobiles on the right side of the road (right place) |
| | -7 | Possible transversal parking lot for automobiles on the right side of the road (left place) |
| | -77 | Border of a transversal parking lot for automobiles on the right side of the road (left place) |
| | -22 | Bus station outside the right side of the road |
| | -222 | Border of a bus station outside the right side of the road |
| | -8 | Road's end and cells with no meaning for the simulation |
|
|
