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 |
|
|