Validation of an Urban Traffic Network Model using Colored Timed Petri Nets

Mariagrazia Dotoli, Maria Pia Fanti, Giorgio Iacobellis. Validation of an Urban Traffic Network Model using Colored Timed Petri Nets. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 1347-1352, IEEE, 2005. [doi]

Abstract

Abstract is missing.