An urban traffic network model via coloured timed Petri nets

This paper deals with modelling of traffic networks (TNs) for control purposes. A modular framework based on coloured timed Petri nets (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 timed Petri nets model 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.

[1]  Anthony Tzes,et al.  Applications of Petri networks to transportation network modeling , 1996 .

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  N. Ranganathan,et al.  IDUTC: an intelligent decision-making system for urban traffic-control applications , 2001, IEEE Trans. Veh. Technol..

[4]  M. Dotoli,et al.  Coordination and real time optimization of signal timing plans for urban traffic control , 2004, IEEE International Conference on Networking, Sensing and Control, 2004.

[5]  Jean-Loup Farges,et al.  Design by Petri nets of an intersection signal controller , 1996 .

[6]  George F. List,et al.  Modeling traffic signal control using Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[7]  Markos Papageorgiou,et al.  A multivariable regulator approach to traffic-responsive network-wide signal control , 2000 .

[8]  Riccardo Minciardi,et al.  A macroscopic traffic model for real-time optimization of signalized urban areas , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[9]  Wang,et al.  Review of road traffic control strategies , 2003, Proceedings of the IEEE.

[10]  Mariagrazia Dotoli,et al.  Real time optimization of traffic signal control: application to coordinated intersections , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[11]  J. F. Gabard.  Car-Following Models , 1991 .

[12]  D. Giglio,et al.  On applying Petri nets to determine optimal offsets for coordinated traffic light timings , 2002, Proceedings. The IEEE 5th International Conference on Intelligent Transportation Systems.

[13]  Angela Di Febbraro,et al.  Urban traffic control structure based on hybrid Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[14]  L. G. Willumsen.  Origin–Destination Matrix: Static Estimation , 1991 .

[15]  Wann-Ming Wey,et al.  Model formulation and solution algorithm of traffic signal control in an urban network , 2000 .

[16]  Angela Di Febbraro,et al.  On modelling urban transportation networks via hybrid Petri nets , 2004 .