Modelling of TNs (Traffic Network) for control purposes is dealt with. A modular framework based on CTPNs (Coloured Timed Petri Net) is proposed to model the dynamics of signalized TN systems: places represent link cells and crossing sections, tokens are vehicles and token colours represent the routing of the corresponding vehicle. In addition, ordinary timed Petri nets model the signal timing plans of the traffic lights controlling the area. The obtained model is able to provide a sufficiently accurate and valid representation of the TN system using data that are collected by detectors, positioned at the input links of the traffic area. Moreover, the model can be easily translated into a simulation software not costly to develop. In order to show the model efficacy, a case study is presented describing a real intersection located in the city of Bari, Italy. The flexibility of the model is enlightened by the description of a link where buses only are admitted. Moreover, simulation results give a confirmation of the model capability to correctly predict traffic performance measures and to test different signal timing plans. The proposed modelling framework is employed to test a signal timing plan optimization method.
An urban traffic network model via coloured timed Petri nets
Ein städtisches Verkehrsmodell mit farbigen, zeitbehafteten Petri-Netzen
2006
17 Seiten, 20 Bilder, 4 Tabellen, 20 Quellen
Conference paper
English
A Train Rescheduling System Using Timed Coloured Petri Nets
Springer Verlag | 2020
|Train Traffic Simulation with Coloured Petri Nets and Schedule Optimisation
BASE | 2005
|Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes
British Library Conference Proceedings | 1997
|Macro modelling of traffic flow using continuous timed Petri nets
Taylor & Francis Verlag | 2021
|