An Urban Traffic Network Model via Coloured Timed Petri Nets

This paper deals with modelling of trafficnetworks (TNs) for control purposes. A modular framework based on colouredtimedPetrinets (CTPNs) 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 timedPetrinetsmodel the signal timing plans of the traffic lights controlling the area. The proposed modelling framework is applied to a real intersection located in Bari, Italy. A discrete event simulation of the controlled intersection validates the model and tests the signal timing plan obtained by an optimization strategy presented in the related literature.