Proyecto FinalAnálisis de Tránsito

Asistido por Computadoradesarrollado con Redes de Petri

Licenciatura en Sistemas

Universidad FASTA

ATAC

Contenido

Introducción Redes de Petri y el Tránsito Desarrollo del Prototipo ATAC Validación del prototipo Métricas Conclusiones Preguntas

Problemas en el tránsito local Congestionamientos Accidentes

Aplicación de nuevas teorías Aprendizaje De lo teórico a lo práctico

Ausencia de herramientas informáticas Difícil planificación Difícil la toma de decisiones

IntroducciónIniciativa del Proyecto

Introducción

Alumnos Catalina Salvati Francisco Suárez Leandro Cofre

DT: Ing. Pablo Argañaras DF: Guillermina Alaniz

(Posterior a Carlos Cattini y Alejandro Valdez)

Equipo de trabajo

Introducción

Proyecto Determinar si el modelado de tránsito vehicular con

Redes de Petri refleja la realidad

Objetivos

Personales Adquirir el conocimiento necesario de la teoría de

Redes de Petri para modelar, analizar y resolver problemas complejos de la vida real

Contribuir a la comunidad con el aporte de una herramienta que ayude a la planificación del tránsito

Cliente Obtener una herramienta que le permita modelar el

tránsito para poder detectar problemas y procurar solucionarlos de manera virtual

Contenido

Introducción Redes de Petri y el Tránsito Desarrollo del Prototipo ATAC Validación del prototipo Métricas Conclusiones Preguntas

Transición

Lugares

Arcos

Marca

Las Redes de Petri y el TránsitoElementos de una RdP

Las Redes de Petri y el TránsitoEvolución de una RdP

- + =

M0 - Mprev(t) + Mpost(t) = Mf

Las Redes de Petri y el Tránsito

Modelado del tránsito - Equivalencias

Las Redes de Petri y el Tránsito

Modelado de una intersección

Las Redes de Petri y el Tránsito

Nuevas definiciones

Lugares K-acotado

(P1) Árbitro Fuente (P2) Sumidero (P4)

Transiciones Con retardos Trabadas (T1)

Contenido

Introducción Redes de Petri y el Tránsito Desarrollo del Prototipo ATAC Validación del prototipo Métricas Conclusiones Preguntas

Desarrollo del prototipo ATACAnálisis de Tránsito Asistido por

Computadora Desarrollo de un prototipo que sea capaz

de Modelar una estructura vial fija (5 esquinas)

con RdP Ejecutar la RdP y determinar si la estructura

provoca congestionamientos y retardos Paradigma OO Lenguaje C++ BD MySql Tortoise (SVN)

Desarrollo del prototipo ATACComponentes

Desarrollo del prototipo ATACGUI: Interfaz de usuario

Desarrollo del prototipo ATACRdP: Estructura vial

Desarrollo del prototipo ATACRdP: Construcción de la Red

Desarrollo del prototipo ATAC

Evolucionan los marcados Se analizan las propiedades

Vivacidad Conservatividad Seguridad

Se obtienen resultados Esperas Bloqueos Cantidad de vehículos que entraron /salieron de

cada carril

Ejecución

Desarrollo del prototipo ATACEjecución

Contenido

Introducción Redes de Petri y el Tránsito Desarrollo del Prototipo ATAC Validación del prototipo Métricas Conclusiones Preguntas

Validación del PrototipoRealidad vs Modelo

Carril 3 9 10 13 14 71 72 75 76

Cant. Vehículos 33 65 136 129 56 79 79 62 62

Validación del PrototipoResultados

Mediciones

Resultados

del sistema

Contenido

Introducción Redes de Petri y el Tránsito Desarrollo del Prototipo ATAC Validación del prototipo Métricas Conclusiones Preguntas

MétricasPrototipo

Archivos 81Líneas de código 12176Comentarios 3915Clases 35Formularios 3

Código Fuente

Documentos: 20

MétricasEsfuerzo: 2153 horas

MétricasPlanificado vs Realidad

Planificado

1783 hs

Real

2153 hs

MétricasPlanificado vs Realidad

Contenido

Introducción Redes de Petri y el Tránsito Desarrollo del Prototipo ATAC Validación del prototipo Métricas Conclusiones Preguntas

Conclusiones

Cumplimos con los objetivos Las RdP son adecuadas para modelar tránsito El prototipo fue aceptado por el cliente Aprendimos más que la teoría de RdP

Coordinamos un proyecto real Hicimos un aporte a la comunidad

ConclusionesExtensiones de ATAC

Abrimos una puerta a nuevos desarrollos Modelar nuevas variables como tamaño de

vehículos, topografía, clima, rotondas, aceleración y desaceleración

Mostrar la evolución progresiva del modelado Modelar el comportamiento de los

conductores Sincronizar automáticamente los tiempos de

los semáforos

Demostración

Contenido

Introducción Redes de Petri y el Tránsito Desarrollo del Prototipo ATAC Validación del prototipo Métricas Conclusiones Preguntas

Preguntas