This paper presents a tool that combines two kinds of Petri Net analyses to set the fastest routes to one vehicle in a bounded area of traffic urban. The first analysis consists of the discovery of possible routes in a state space generated from an IOPT Petri net model given the initial marking as the vehicle position. The second analysis receives the routes found in the first analysis and calculates the state equations at incidence matrix created from the High Level Petri net model to define the fastest route for each vehicle that arrive in the roads. It was considered the exchange of information between vehicle and infrastructure (V2I) to get the position and speed of all vehicles and support the analyses. With the results obtained we conclude that is possible optimizing the urban traffic flow if this tool is applied to all vehicles in a bounded urban traffic. © 2012 IEEE. 61266131The Institute of Electrical and Electronics Engineers (IEEE),IEEE Industrial Electronics Society (IES)Roess, P., Prassas, E.E., MacShane, W.E., (2010) Traffic Enginnering, , 4th ed., Prentice HallNi, D., Determining Traflic-flow characteristics by definition for application in ITS (2007) IEEE Trans. Intelligent Transportation Systems, 8, pp. 181-187. , JuneMiller, J., Vehicle-to-Vehicle-to-Infrastructure (V2V2I) intelligent transportation system architecture Conf. Rec. 2008 IEEE Intelligent Vehicles Symposium, pp. 715-720Kumar, P., Singh, V., Reddy, D., Advanced traveler information system for Hyderabad city (2005) IEEE Trans. Intelligent Transportation Systems, 6, pp. 26-37. , MarchReisig, W., (1985) Petri Nets: An Introduction, , New York, NY. USA: SpringerVerlag New York, IncDi Febbraro, A., Giglio, D., Sacco, N., Urban traflic control structure based on hybrid Petri nets (2004) Intelligent Transportation Systems, IEEE Transactions on, 5, pp. 224-237Dotoli, M., Fanti, M.P., An urban traffic network model via coloured timed Petri nets (2006) Control Engineering Practice, 14, pp. 1213-1229Jensen, K., Kristensen, L.M., (2009) Coloured Petri Nets: Modeling and Validation of Concurrent Systems, 1. , Springer VerlagVazquez, C.R., Sutarto, H.Y., Boel, R., Silva, M., Hybrid Petri net model of a traffic intersection in an urban network Control Applications (CCA), 2010 IEEE International Conference on, 20 (10), pp. 658-664Murata, T., Petri nets: Properties, analysis and applications (1989) Proceedings of the IEEE, 77, pp. 541-580Wong, S.C., Wong, W.T., Leung, C.M., Tong, C.O., Group-based optimization of a time-dependent TRANSYT traffic model for area traflic control (2002) Transportation Research Part B: Methodological, 36, pp. 291-312Robertson, D.I., Bretherton, R.D., Optimizing networks of traffic signals in real time-The SCOOT method (1991) Vehicular Technology, IEEE Transactions on, 40, pp. 11-15Dongkai, F., Ping, S., Improvement of Dijkstra's algorithm and its application in route planning (2010) Fuzzy Systems and Knowledge Discovery (FSKD), 2010 Seventh International Conference on, pp. 1901-1904Randria, I., Ben Khelifa, M.M., Bouchouicha, M., Abellard, P., A comparative study of six basic approaches for path planning towards an autonomous navigation (2007) Industrial Electronics Society, 2007. IECON 2007. 33rd Annual Conference of the IEEE, pp. 2730-2735Qu, Y., Li, L., Liu, Y., Chen, Y., Dai, Y., Travel routes estimation in transportation systems modeled by Petri Nets (2010) Vehicular Electronics and Safety (ICVES), 2010 IEEE International Conference on, pp. 73-77Liu, X., Huang, S., The simulation algorithm of military transportation shortest path based on petri net (2009) Computing, Communication, Control, and Management, 2009. CCCM 2009. ISECS International Colloquium on, pp. 111-114David, R., Alla, H., On Hybrid petri nets (2001) Discrete Event Dynamic Systems, 11, pp. 9-40Moutinho, F., Gomes, L., State space generation algorithm for gals systems modeled by IOPT Petri nets (2011) IECon 2011 - 37th Annual Conference on IEEE Industrial Electronics Society, pp. 2839-2844Pereira, F., Moutinho, F., Gomes, L., Ribeiro, J., Campos-Rebelo, R., An IOPT-net state-space generator tool (2011) Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, pp. 383-389Pereira, F., Moutinho, F., Gomes, L., Campos-Rebelo, R., IOPT Petri net state space generation algorithm with maximal-step execution semantics (2011) Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, pp. 789-795Kong, Y., Xue, A., Urban traflic incident detection based on fuzzy logic (2006) IEEE Industrial Electronics, IECon 2006 - 32nd Annual Conference on, pp. 772-775Kelley, S., Goldberg, M., Magdon-Ismail, M., Mertsalov, K., Wallace, W., Zaki, M., GraphOnt: An ontology based library for conversion from semantic graphs to .JUNG (2009) Intelligence and Security Informatics, 2009. ISI'09. IEEE International Conference on, pp. 170-172