Carrera: Licenciatura en Sistemas Materia: FIM 43 Proyecto Final Diseo del Modelador de trnsito con RdP

Proyecto: Redes de Petri

Equipo: 91 Alumnos: Catalina Salvati Francisco Surez Leandro Cofr

Director Funcional: Guillermina Alaniz Director Tcnico: Ing. Pablo Argaaras Auditor: Lic. Alejandro Nikolic

Ctedra: Profesor titular Profesor asociado Profesor Adjunto Auditores

AS. Hilario Fernando Schechtel Ing. Roberto Giordano Lerena Lic. Alejandro Nikolic Ing. Mara Gabriela Degiampietro Ing. Laura Elena Fernndez Vaquero Ing. Andrea Susana Gutirrez Ing. Fernando Atilio Zagnoni

Fecha de presentacin Versin 1.00

17/06/09

Diseo del Modelador de trnsito con RdP

Contenido
Contenido.......................................................................................................1 Definiciones y abreviaturas............................................................................2 Introduccin....................................................................................................3 Propsito.....................................................................................................3 Referencias....................................................................................................3 Descripcin del sistema.................................................................................4 Contexto.........................................................................................................4 Diseo del sistema.........................................................................................4 GUI..............................................................................................................5 RdP.............................................................................................................5 Descripcin..............................................................................................5 Interfaz....................................................................................................6 Modelo Esttico - Estructura Vial............................................................6 Modelo Esttico - RdP............................................................................8 Modelo Dinmico..................................................................................13 Validacin ................................................................................................15 Verificacin ..............................................................................................15 Capa Ejecucin.........................................................................................15 Descripcin............................................................................................15 Interfaz..................................................................................................15 Modelo esttico.....................................................................................16 Modelo dinmico...................................................................................16 Matlab....................................................................................................17

Diseo del Modelador de trnsito con RdP

Definiciones y abreviaturas
ATAC Carril Escenario Interseccin RdP Sentido Anlisis de Trnsito Asistido por Computadora. Franja longitudinal de una calzada. Combinacin del estado de un conjunto de variables. Cruce de dos o ms calles. Redes de petri. Sentido del flujo vehicular.

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

Introduccin
ATAC es un modelador que permite representar situaciones reales de trnsito vehicular en un punto de la ciudad de San Carlos de Bariloche. Este documento describe el diseo detallado del software ATAC.

Propsito
El propsito de este documento es el de definir el diseo detallado del sistema ATAC.

Referencias
o [R1] Diseo preliminar RDP.doc o [R2] Manual de RdP Introduccin a las RdP.doc o [R3] Requerimientos de software Requerimientos RdP.doc o [R4] Diseo del componente GUI Diseo Unidad GUI.doc

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

Descripcin del sistema

El objetivo del prototipo ATAC es modelar el flujo vehicular de acuerdo a un escenario plasmado en un sector de la ciudad. Luego de este proceso se podrn obtener datos estadsticos.

Contexto
El siguiente diagrama de contexto muestra los lmites y responsabilidades de ATAC, desde el punto de vista de un usuario.

Diseo del sistema

ATAC est formado por tres componentes principales; GUI, RdP y Ejecucin RdP. La capa GUI corresponde a la interfaz de usuario. A travs de ella el operador configura elementos pertenecientes al espacio del problema. Tambin por ella es notificada del fin de la ejecucin del modelo. La capa RdP es la que traduce la interfaz de usuario en una topologa de Red de Petri. Finalmente, la capa Ejecucin RdP es la encargada de hacer evolucionar la red para obtener los resultados que componen el informe final.

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP El siguiente diagrama muestra la divisin entre capas:

GUI
Este componente signific el comienzo de la codificacin de este proyecto. Se model la interaccin con el sistema a travs del anlisis UML. Se puede encontrar una descripcin detallada de este componente en [R4].

RdP
Descripcin
RDP es el encargado de interpretar las configuraciones realizadas por el usuario y crear los objetos y composiciones que las representen. Adems se encarga de recorrer esos objetos para ir creando progresivamente la RdP. Este componente puede ser dividido en dos partes principales: La estructura vial y la RdP en s misma. Estas partes estn conectadas entre s por la Universidad FASTA Proyecto Final 168269019.doc

Diseo del Modelador de trnsito con RdP

clase que realiza la conversin: CarrilLugares. Luego veremos esta clase en ms detalle.

Interfaz
RdP interacta con la base de datos para obtener las configuraciones hechas por el usuario. As va creando un conjunto de carriles con otros objetos asociados. La segunda parte de este componente, la de creacin de la RdP, recibe los carriles creados en el paso anterior y los recorre. Primero crea los lugares pertenecientes al carril y luego los lugares del cruce al que desembocar el carril.

Modelo Esttico - Estructura Vial

Aunque la definicin de la RdP es sencilla, pues est compuesta slo de lugares y transiciones, es necesario describir primero cmo se representa la estructura vial. Esto nos permitir entender las clases y relaciones que se recorren para crear la RdP. A continuacin describimos la estructura esttica Estructura Vial (Para simplificar el diagrama no incluimos las composiciones 1 a muchos, aunque s en la descripcin de cada clase):

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

Cada una de las clases representa conceptos entendibles en el mundo real. Cuadra: Es la fraccin de una calle, intersectada en los extremos por otras 2 calles. Toda cuadra pertenece a una nica calle. Una cuadra posee un conjunto de cuadras contiguas. Adems se le asigna una de dos direcciones posibles. Por ejemplo, una cuadra cuyos autos se trasladan de este a oeste o viceversa podr tener direccin este o direccin oeste. En la definicin de carril veremos con qu criterio asignar la direccin a la cuadra. Calle: representa un conjunto de cuadras concatenadas. En este conjunto de cuadras, cada una es la continuacin de otra. CuadraContigua: Una cuadra contigua slo existe en relacin con otra cuadra. Representa la relacin de proximidad entre dos cuadras. Tambin posee una ubicacin relativa a la cuadra a la que pertenece. CarrilContiguo: Un carril contiguo representa la adyacencia efectiva entre dos carriles. Posee adems informacin sobre la conexin entre estos dos carriles: cul es la probabilidad de que un auto pase del carril origen al destino y sus tiempos de semforo. Punto cardinal: Es la clase ms compuesta por las dems. Explicado de manera abstracta slo representa los 8 puntos cardinales posibles. Cuando es asociado a otras clases es que obtiene significacin. En un carril representa el punto cardinal al que se dirigen los autos que pasan por l. En una cuadra Universidad FASTA Proyecto Final 168269019.doc

Diseo del Modelador de trnsito con RdP

significa uno de los dos sentidos que pueden tener los carriles que le pertenecen a ella. Por ltimo, en una cuadra contigua representa la ubicacin de ella con respecto a la cuadra que la compone. Carril: Representa la va por donde puede pasar una fila de autos. Esta clase se relaciona directa o indirectamente con todas las dems clases de la estructura vial. Por esta razn la siguiente etapa de procesamiento slo necesita un conjunto de carriles como entrada. Los carriles son insertados en la cuadra a la que pertenecen teniendo en cuenta el sentido de la misma. Por ejemplo, una cuadra con sentido este deber insertar primero los carriles que estn ms al norte. As el orden de los carriles ser de norte a sur. La siguiente figura lo ilustra claramente:

Cruce: Es la interseccin de dos calles. Por cuestiones prcticas se decidi hacer que cada cruce contenga el conjunto de carriles que desembocan en l. En la figura anterior hay dos cruces. Al de la izquierda desemboca el segundo carril y al de la derecha los carriles primero y tercero. Por otro lado, el cruce contiene los lugares rbitros de la interseccin, elementos de RdP de los que hablaremos en breve.

Modelo Esttico - RdP

A continuacin describimos el conjunto de clases que representa la RdP, junto con las clases que permiten la conexin con la Estructura Vial antes descrita (Para simplificar el diagrama no incluimos las composiciones 1 a muchos, aunque s en la descripcin de cada clase):

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

Las clases Lugar y Transicin representan a sus equivalentes en RdP y tienen los mtodos que permiten hacer evolucionar la RdP. Lugar contiene un conjunto de transiciones origen y uno de transiciones destino. Asimismo Transicin tiene un conjunto de lugares origen y uno de lugares destino. La posibilidad de navegar en las dos direcciones es necesaria para ejecutar la RdP y para obtener los resultados luego de la ejecucin. LugarTransito: Es una especializacin de Lugar. Agrega un rbitro cuando hay ms de una transicin de entrada o ms de una de salida. El rbitro asegura que una sola transicin de ejecute a la vez.

TransicionDeGiro: Esta especializacin de transicin es agregada entre giros que pertenecen a la interseccin de carriles. CarrilLugares: esta es la clase con mayores responsabilidades en el diseo. Exceptuando algunas tareas delegadas a otras clases, CarrilLugares es la encargada de crear la estructura de RdP. Universidad FASTA Proyecto Final 168269019.doc

Diseo del Modelador de trnsito con RdP

10

Esta clase sirve como conector entre la estructura vial y la RdP, pues compone a un carril y a dos lugares (que son el comienzo y fin del carril en la RdP.) Esta clase posee un conjunto de carriles con los que est conectado y a los que los autos que pasan por l irn. Cuando se comienza el proceso de conectar a los carriles con sus carriles contiguos se crean lugares llamados giros. Cada giro representa un punto en la interseccin en donde el carril en cuestin se cruza con carriles que van en otras direcciones. Por ejemplo, para la siguiente interseccin simple se encuentran marcados los puntos del cruce de carriles que se convertirn en giros:

Ambos carriles de la cuadra A tienen un solo giro. Sin embargo, el carril 1 de la cuadra B tiene dos giros, pues en su camino al carril de la cuadra C se cruzar con los carriles de la cuadra A.

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

11

Si no tuviramos en cuenta el carril 2 de la cuadra A ni el carril 1 de la cuadra D, la RdP resultante sera la del siguiente diagrama. Para simplificar no se incluyen los lugares de dentro del carril (por eso se observarn dos lugares desconectados) y se supuso que slo se conectan las cuadras A con D y B con C:

En el centro del diagrama se pueden observar dos lugares que fueron colocados cerca entre s. Esos son los giros creados para competir con los carriles que cruzan. Adems se observa un lugar llamado rbitro. Este lugar permite controlar que el paso de vehculos por los dos carriles sea alternado. La cantidad de rbitros depende de cuntos carriles tiene cada cuadra. Los giros son administrados por la clase Cruce. CreadorGirosVecinos: Es el comienzo de una jerarqua de clases encargada de representar en RdP la competencia entre carriles paralelos. Esta competencia surge cuando se deben conectar carriles con carriles pertenecientes a otras calles. En estos casos especiales el carril deber competir con los carriles que pertenecen a su misma cuadra y estn entre l y el carril de la otra calle con el que deber conectarse.

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

12

En este diagrama se puede observar cmo el carril 2 compite con el Carril 1 cuando gira.

El siguiente diagrama representa la RdP resultante, agregndose como nico rbitro al que interviene en este conflicto. Hay que tener en cuenta que con objetivos de simplificar el diagrama se hizo que el carril 1 slo tome una direccin y el carril 2 slo intersecte al primero:

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

13

Modelo Dinmico
La creacin de la RdP es una tarea con muchos pasos y requiere la comunicacin y delegacin de trabajo de varias clases. A continuacin se describe este proceso usando un diagrama de colaboracin:

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

14

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

15

Validacin
El objetivo de Validacin es el de determinar si el modelo cumple una serie de propiedades que caracteriza su buen funcionamiento: Ausencia de bloqueos Finitud del espacio de estados. Ausencia de conflictos

Verificacin
Se determina a travs del modelo si el sistema satisface la especificacin previamente definida. Requiere una definicin formalizada de la semntica y significado de cada operacin elemental, para poder comprobar los requisitos propuestos para el sistema.

Capa Ejecucin
Descripcin
Una vez construida la RdP y definido el marcado inicial, se procede a la ejecucin de la red. La RdP se encuentra definida matricialmente por medio de dos matrices. Matriz de incidencia previa: C = [cij]nm en la que cij = Pre(pi, tj). Matriz de incidencia posterior: C+ = [c+ij]nm en la que c+ij = Post(ti, pj). Matriz de incidencia de N: C = C+ C. Donde n = |P| (nmero de lugares de P) y m = |T| (nmero de transiciones de T). El objetivo de esta capa es el de obtener las matrices de acuerdo a la topologa construida en la capa RdP.

Interfaz
La capa Ejecucin recibe de la capa RdP un conjunto de objetos (de tipo Lugar y Transicion) y las relaciones entre ellos.

Universidad FASTA Proyecto Final

168269019.doc

Diseo del Modelador de trnsito con RdP

16

Modelo esttico
Cada marcado se obtiene de una matriz de incidencia previa, una matriz de incidencia posterior y de un marcado inicial. Cada marcado corresponde a la cantidad de tokens que posee cada lugar de la red. Asimismo, cada lugar debe recordar cuantos tokens contuvo alguna vez, aunque ya hayan pasado a otro lugar.

Modelo dinmico
Una vez creada la estructura se procede a la ejecucin de la red. Para cada lugar se verifican las transiciones habilitadas (a partir de las matrices de incidencia previa y posterior) y de acuerdo a su probabilidad se disparan una a la vez. No importa el orden de los lugares ya que los disparos son uno por vez, simultneamente para cada transicin habilitada. Cada transicin deber recordar el ltimo disparo en el que intervino, para as evitar que una transicin no contine en un disparo que no le corresponde. Es decir que si el disparo de una transicin habilita el disparo de la segunda, sta no puede ser disparada hasta la prxima vez. Por ejemplo, en la siguiente figura se dispar T1 habilitando a T2, pero T2 no se disparar hasta la prxima evolucin.

Una vez llegado el marcado final se deber recopilar la siguiente informacin para entregar al usuario:

Cantidad de tokens que quedaron en cada lugar Cantidad de tokens que pasaron por cada lugar Cantidad de tokens que quedaron en los lugares de salida Cantidad de disparos realizados

Esto se podra traducir para el usuario respectivamente: Vehculos que quedaron varados y en que carril Vehculos que pasaron por un carril Vehculos que salieron del sector 168269019.doc

Universidad FASTA Proyecto Final

Diseo del Modelador de trnsito con RdP

17

Tiempo que tardaron los vehculos en atravesar el circuito

De este modo el operador podr analizar el resultado de la modelacin que configur sin necesidad de tener conocimiento de que existe la red. Finalmente esta capa entrega un archivo de texto con los datos descriptos.

Matlab
Lo investigado sobre Matlab es que es posible confeccionar RdP y ejecutarlas. Es posible generar libreras para c/c++ y su interfase con otros programas es relativamente simple. Sin embargo, las posibles ventajas por sobre una creacin y ejecucin de RdP propias son pocas. Nuestra necesidad de total control sobre la RdP para obtener informacin estadstica nos llev a descartar la ejecucin con esta herramienta.

Universidad FASTA Proyecto Final

168269019.doc