This paper validates a colored timed Petri net (CTPN) model proposed to describe urban traffic networks. In particular, a CTPN models the dynamics of signalized traffic networks and timed Petri nets describe the traffic lights controlling the area. To this aim, the modeling framework is applied to a real intersection located in Bari, Italy. Discrete event simulations of the controlled intersection test the signal timing plan under different traffic scenarios and give a confirmation of the model capability to correctly predict the traffic performance
Validation of an Urban Traffic Network Model using Colored Timed Petri Nets / Dotoli, Mariagrazia; Fanti, Maria Pia; Iacobellis, G.. - (2005), pp. 1347-1352. (Intervento presentato al convegno IEEE International Conference on Systems, Man and Cybernetics, SMC 2005 tenutosi a Waikoloa, HI, USA nel 10-12 October 2005) [10.1109/ICSMC.2005.1571334].
Validation of an Urban Traffic Network Model using Colored Timed Petri Nets
DOTOLI, Mariagrazia;FANTI, Maria Pia;
2005-01-01
Abstract
This paper validates a colored timed Petri net (CTPN) model proposed to describe urban traffic networks. In particular, a CTPN models the dynamics of signalized traffic networks and timed Petri nets describe the traffic lights controlling the area. To this aim, the modeling framework is applied to a real intersection located in Bari, Italy. Discrete event simulations of the controlled intersection test the signal timing plan under different traffic scenarios and give a confirmation of the model capability to correctly predict the traffic performanceI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.