Carrera: Licenciatura en Sistemas

Materia: FIM 43 Proyecto Final

Presentación de Tema de Proyecto

Proyecto: Redes de Petri

Equipo:

Alumnos:

Catalina Salvati
Francisco Suárez
Leandro Cofré

Director Funcional: Carlos Catini

Director Técnico: Ing. Pablo Argañaras

Auditor: Lic. Alejandro Nikolic

Cátedra:
Profesor titular AS. Hilario Fernando Schechtel
Profesor asociado Ing. Roberto Giordano Lerena
Profesor Adjunto Lic. Alejandro Nikolic
Auditores Ing. María Gabriela Degiampietro
Ing. Laura Elena Fernández Vaquero
Ing. Andrea Susana Gutiérrez
Ing. Fernando Atilio Zagnoni

Fecha de presentación 17/09/2006

Versión 1.00
 Presentación del Proyecto Final Redes de Petri 2

Contenido

Contenido .................................................................................................... 2
Equipo de Trabajo ....................................................................................... 3
Director Técnico ....................................................................................... 3
Director Funcional .................................................................................... 3
Alumnos ................................................................................................... 3
Consultores .............................................................................................. 3
Introducción ................................................................................................. 4
El tránsito y sus implicaciones ..................................................................... 5
Las Redes de Petri ...................................................................................... 6
Definición formal....................................................................................... 6
Ejemplo .................................................................................................... 7
Objetivos del Proyecto ................................................................................. 8
Beneficios esperados del Proyecto.............................................................. 8
Bibliografía................................................................................................... 9

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 Presentación del Proyecto Final Redes de Petri 3

Equipo de Trabajo

Director Técnico
Ing. Pablo Argañaras. Docente de la universidad FASTA subsede
Bariloche.

Director Funcional
Carlos Catini. Director del Departamento de Tránsito de la Municipalidad de
Bariloche.

Alumnos
Catalina Salvati

Francisco Suárez

Leandro Cofré

Consultores
Dr. Claudio Padra. Docente de la universidad FASTA subsede Bariloche.

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 Presentación del Proyecto Final Redes de Petri 4

Introducción

En muchas ciudades del mundo existen problemas en el tránsito vehicular;

San Carlos de Bariloche no es una excepción.

Distintos sectores de la comuna (dirección de tránsito, concejo municipal,

escuelas, defensa civil y hospitales) han conformado un equipo de personas para
abordar este tema. Actualmente, están realizando un trabajo de campo con el
objetivo de obtener información estadística que les permita identificar las causas
de los problemas de tránsito y así proponer soluciones.

Este grupo de personas muestra interés en contar con una herramienta

informática que simule situaciones reales del tránsito y brinde información
relevante para la toma de decisiones. Por ejemplo, si se pudiera colocar un
semáforo virtual en una esquina para luego estudiar el comportamiento de los
vehículos que transitan por ella, esto ayudaría a tomar la decisión de instalarlo o
no.

Como proyecto final de la carrera de Licenciatura en Sistemas,

proponemos desarrollar un simulador que cumpla con estas especificaciones.
Para esto necesitamos un modelo que nos permita representar el flujo vehicular
en una estructura vial determinada.

En el desarrollo de sistemas informáticos, siempre intentamos reflejar la

realidad. En este caso, la podemos ver como objetos que recorren una red o
mapa de una manera particular. Estáticamente, veremos las calles de la ciudad,
dinámicamente, los conflictos que se generan al ocurrir eventos simultáneos,
como el caso de los dos vehículos intentando cruzar por la misma esquina. Una
teoría matemática que tiene en cuenta estas características es la llamada “Redes
de Petri” o “Petri Nets”, por lo tanto desarrollaremos nuestro proyecto basándonos
en esta teoría.

En este documento explicaremos brevemente el tránsito, la teoría

matemática con la que analizaremos el problema y finalmente los alcances y
objetivos del Proyecto final.

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 Presentación del Proyecto Final Redes de Petri 5

El tránsito y sus implicaciones

Cuando hablamos de “El tránsito” nos referimos al flujo vehicular (conjunto

de automóviles) que circula por la infraestructura vial (calles, semáforos,
señalizaciones) de una ciudad con características particulares (cantidad de
habitantes, topografía, factores climáticos).

Hace tiempo que el tránsito es un tema de preocupación debido a

problemas como el desgaste de la vía pública, el congestionamiento y los
accidentes. Distintos organismos han intentado resolverlos, generalmente
cambiando la infraestructura vial (cambios de sentido de las calles, semáforos,
etc.) que se ve desbordada por un aumento en el flujo vehicular producto del
crecimiento demográfico.

Al planificar la infraestructura vial para el Bariloche de hace unas décadas,

era casi impensado que ingresaríamos al nuevo milenio con más de 100.000
habitantes y que el parque automotor aumentaría tanto. Aún teniendo en cuenta
este imponderable, podemos observar los esfuerzos por lograr una mejor fluidez
en el tráfico. Una muestra de esto son los semáforos que se han colocado en
esquinas conflictivas, los nuevos caminos y los cambios de sentido de algunas
calles.

Para hacer una buena planificación es necesario analizar formalmente los

problemas en el transito mencionados anteriormente. Existen distintos modelos
para el análisis del tránsito.

9 Macroscópicos: Son modelos continuos que tratan sobre la

generalidad de los flujos, su densidad, su velocidad, etc.

9 Microscópicos: Describen el comportamiento del flujo

enfocándose en las entidades atómicas individuales (como lo
podrían ser un vehículo o una intersección). Son considerados
modelos discretos.

9 Mesoscópicos: Generalmente se basan en los métodos de la

mecánica estadística. En ellos interviene la variable tiempo,
definiendo las probabilidades de ocurrencias de eventos en los
flujos.

Los intentos por encontrar este planteo en el desarrollo de simuladores de

tránsito son muchos y variados, entre los que se pueden citar los modelos
basados en; la teoría cinética de gases, la teoría de dinámica de fluidos, la teoría
de colas, la teoría de autómatas celulares y la teoría de Redes de Petri.

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 Presentación del Proyecto Final Redes de Petri 6

Las Redes de Petri

Las Redes de Petri (RdP) son una teoría matemática postulada por el
alemán Carl Adam Petri que permite modelar sistemas no determinísticos,
distribuidos y/o estocásticos, con procesos concurrentes, paralelos y asíncronos.
Se la ha utilizado en distintas áreas de aplicación como en química, redes
informáticas, iInteligencia artificial, tránsito, etc.

Los modelos basados en RdP pueden conducir a la obtención de

recomendaciones en el ordenamiento de las entidades que intervienen en una
situación real que se está modelando.

Los sistemas de tránsito son sistemas discretos que pueden crecer

considerablemente y que revelan la presencia de eventos claramente
identificables. Una de las formas de solucionar este crecimiento explosivo de
elementos de un sistema discreto consiste en utilizar las RdP para su modelación.
El sistema a modelar puede ser analizado de manera formal y permite obtener
información del comportamiento dinámico de la realidad bajo estudio.

Como modelo de descripción, una RdP es un grafo orientado en el que

intervienen dos clases de nodos, los lugares y las transiciones, unidos
alternativamente por arcos dirigidos. Un lugar puede o no contener marcas. Las
marcas se suelen representar mediante un punto en el interior de un lugar 1 . El
conjunto de marcas asociadas a cada uno de los lugares en un momento dado,
constituye un marcado de la RdP. Para la descripción funcional de sistemas
concurrentes los marcados representan estados y las transiciones sucesos, que
dependen del cumplimiento de determinadas condiciones.

Definición formal

Las Redes de Petri se definen como una cuádrupla RdP = {P,T,F,W}

P es un conjunto finito y no vacío de lugares P = {p1, p2,…, pm}

T es un conjunto finito y no vacío de transiciones T = {t1, t2,…, tn}
P ∩ T = ∅. Esto significa que los lugares y las transiciones son
conjuntos disjuntos.
F ⊆ (P x T ) U (T x P). Entonces F es un conjunto de arcos
dirigidos.
W: F Æ . W es la función que asigna un peso a cada arco.

1
Estas marcas representan la posibilidad de que una transición contigua ocurra. En esos
casos se dice que un estado “sensibiliza” a una transición.

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 Presentación del Proyecto Final Redes de Petri 7

Ejemplo

Este ejemplo representa una intersección de dos calles con un semáforo

que controla el flujo vehicular.

C2

C1

C1 = Calle 1
C2 = Calle 2

El siguiente gráfico es una RdP que representa el esquema anterior * :

E F

D para C2 para C2 A
para C1
para C2 para C1

C B

para C1 para C1
Lugar Marcado
para C2
Lugar

Transición
A = Autos de C1 cruzando
Arco
B = Frenando autos de C1

C = Autos de C1 frenados y autos de C2 comenzando a cruzar

D = Autos de C2 cruzando

E = Frenando autos de C2

F = Autos de C2 frenados y autos de C1 comenzando a cruzar

B,C,E, F permiten un modelado mas realistico del sistema ya

que muestra como los autos comienzan a avanzar o a frenar.
La marca en el lugar D representa que la afirmación "Luz verde
para los autos de calle C2" sea cierta.

*
El peso asignado a cada arco se omite en el dibujo, ya que en todos los casos es 1 (uno).

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 Presentación del Proyecto Final Redes de Petri 8

Objetivos del Proyecto

En este proyecto desarrollaremos un sistema informático monousuario,

implementado en un paradigma y lenguaje de programación a definir, que simule
el tránsito vehicular de la ciudad de San Carlos de Bariloche. El sistema estará
compuesto principalmente por un simulador que modele distintos escenarios,
permitiendo realizar pronósticos del comportamiento vehicular, con su
consecuente utilidad para el departamento de tránsito de la ciudad.

Beneficios esperados del Proyecto

En cuanto a la realización personal, nuestra expectativa es adquirir el

conocimiento necesario para la aplicación de modelos abstractos que nos
permitan analizar y resolver problemas. En particular, esperamos conocer a fondo
la teoría de las Redes de Petri y sus aplicaciones, adquiriendo la metodología
necesaria para la resolución de cualquier problema utilizando el modelo teórico y
la herramienta de desarrollo que resulten más adecuados.

Los tres integrantes de este grupo vivimos en Bariloche, por lo que las
dificultades en el tránsito no nos resultan indiferentes. Creemos firmemente que
un instrumento como el proyectado, contribuirá al mejoramiento de la imagen de
Bariloche como una ciudad turística ordenada.

El director funcional del proyecto, Carlos Catini, espera obtener un software

que le permita simular circunstancias reales de la vía pública (teniendo en cuenta
vehículos, estacionamientos, peatones, calles, etc.) para poder detectar
problemas futuros y solucionarlos de manera virtual. Considera que una
planificación adecuada optimiza los recursos económicos del estado y que con la
ayuda de la herramienta que desarrollaremos podrá realizar planificaciones a
corto, mediano y largo plazo.

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 Presentación del Proyecto Final Redes de Petri 9

Bibliografía

Alvarez Icaza, Luis. “Simulación y control tráfico vehicular”.

http://www.mcc.unam.mx/Seminarios/2005/ia/DrLuisAlvarezIcaza.pdf.

Boyé Ferrera, Gisel; Benítez Pina, Israel; Oca Ibarra, Elizabeth.

“Vinculación entre la orientación a objetos y las Redes de Petri en la
programación”. Centro de Estudios de Automatización (CEA). Facultad de
Ingeniería Eléctrica. Universidad de Oriente. Santiago de Cuba. Cuba.

Júlvez, Jorge; Boel, René. “Modeling and controlling traffic behavior with
continuous Petri Nets”. Departamento de Informática e Ingeniería de Sistemas,
Universidad de Zaragoza, 2005.

Martínez Reyes, José Refugio. “Diseño de un gestor de Redes de Petri”.

Manzanillo, Colima, Octubre 2003.

Murata, Tadao. “Petri Nets: properties, analysis and applications”.

Proceedings of the IEEE, VOL. 77, No. 4. April 1989.

Treiber, Martin. “Traffic Simulation”. http://www.traffic-simulation.de/. 2005

Universidad FASTA Presentacion Redes de Petri

Proyecto Final
 San Carlos de Bariloche, 17 de Septiembre de 2006

Cátedra de Proyecto Final

Presente

De mi mayor consideración

Por la presente, Pablo Argañaras, Ingeniero en Computación, docente de la universidad FASTA

subsede Bariloche, me comprometo a ejercer la dirección técnica del Proyecto Final, a realizar por los alumnos
Catalina Salvati, Francisco Suárez, y Leandro Cofré, respetando y aplicando las condiciones enunciadas en el
Reglamento de Cátedra correspondiente al año en curso.

Saludo a ustedes muy atentamente.

Pablo Enrique Argañaras

 San Carlos de Bariloche, 17 de Septiembre de 2006

Cátedra de Proyecto Final

Presente

De mi mayor consideración

Por la presente, Carlos Catini, Director de Tránsito de la municipalidad de San Carlos de

Bariloche, me comprometo a ejercer la dirección funcional del Proyecto Final, a realizar por los alumnos Catalina
Salvati, Francisco Suárez, y Leandro Cofré, según las condiciones enunciadas en el Reglamento de Cátedra
correspondiente al año en curso.

Saludo a ustedes muy atentamente.

Carlos Catini