Beruflich Dokumente
Kultur Dokumente
Luis Fernando Rodriguez Giraldo1 Roberto Carlos Guevara Calume2 Diego Fernando A
rroyave Berrio3
Marzo del 2010
1.
Luis Fernando Rodriguez Giraldo. Ingeniero Electrnico UdeA. Estudiante Maestra en
Automatizacin y Control Industrial.
2.
Roberto Carlos Guevara Calume. Ingeniero de Sistemas Universidad San Buenaventur
a. Estudiante Maestra en Automatizacin y Control Industrial.
3.
Diego Fernando Arroyave Berrio. Ingeniero Electrnico UdeA. Estudiante Maestra en A
utomatizacin y Control Industrial.
Resumen El desarrollo de sistemas fsicos cuyos estados evolucionan en forma automt
ica basndose en tablas predefinidas del comportamiento, tales como el sistema de
control de un robot en un proceso industrial, o un sistema que controle el movim
iento de los diferentes trenes de un transporte colectivo metro a fin de evitar
accidentes de choque por alcance, es cada vez ms complejo, y se requiere de herra
mientas de diseo que permitan conocer el comportamiento de un sistema antes de su
realizacin fsica. Para lograr tal conocimiento los diseadores utilizan el recurso
conocido como Redes de Petri, cuyas caractersticas ms importantes y evolucin se pue
den analizar por medio de un programa computacional y sus resultados por medio d
e una interface grfica.
Este programa enviar, durante la evolucin de la red, mensajes precisos acerca de s
us caractersticas tales como existencia de conflictos, vivacidad, limitacin y cons
ervatividad.
1. INTRODUCCIN A medida que crece la complejidad de los sistemas tanto en su diseo
como en el funcionamiento de las partes que los constituyen y los eventos y sub
sistemas que a su vez ellos controlan, adems de los altos costos que implica el c
onstruir un prototipo a escala del sistema que se desea crear, es cada vez ms nec
esario contar con una herramienta de modelado, la cual permita caracterizar las
partes del sistema y sus interconexiones, o bien, permita desarrollar un modelo
en el cual se especifiquen las reacciones del sistema frente a eventos o acontec
imientos que provienen del exte-
rior, es decir, que describa cmo funciona el sistema. Esta herramienta de modelad
o debe permitir al diseador anticipar el mayor nmero de estados en los que se encu
entre el sistema a lo largo de su evolucin. Estos estados, en su conjunto, defini
rn el comportamiento global del sistema, as como sus caractersticas. A efecto de lo
grar un conocimiento cabal de las propiedades estructurales y operativas del sis
tema, la herramienta de modelado adecuada permitir al diseador asegurar la validez
y confiabilidad del prototipo antes de llevarlos a la construccin fsica. Una de l
as herramientas que se puede utilizar en el diseo de sistemas de evoluciones simu
ltneas, es la herramienta conocida como las Redes de Petri, una herramienta de di
seo poderosa y de fcil comprensin, creada y desarrollada por Karl Adam Petri en 196
2, la cual tiene un espectro de aplicacin de muy amplio rango, desde procesos leg
ales hasta procesos de produccin industrial o control de trfico. La finalidad del
artculo que aqu se presenta es proporcionar a los diseadores de redes de Petri los
diferentes software existentes y hacer una comparacin entre ellos, el cual les pe
rmita, por medio de una interfaz grfica fcil de usar, observar de manera clara y p
recisa las caractersticas ms importantes de su red a medida que se desarrolla su e
volucin, enviando mensajes acerca de la existencia de conflictos, vivacidad, limi
tacin y conservatividad.
Para conocer los diferentes estados de la red, se pueden calcular todos los marc
ados alcanzables a partir del marcado inicial, construyendo el rbol de alcanzabil
idad de la red. Esta tcnica es ideal cuando se elabora una red que contenga un nme
ro grande de componentes, ya que proporciona el total de las situaciones posible
s, a partir de las cuales el programa puede establecer los criterios de k-limita
cin, vivacidad, existencia de conflictos, conservatividad, y otras caractersticas.
Sin embargo, los programas en ambientes grficos tienen el inconveniente de que e
l rea de trabajo del usuario est limitada al tamao de una sola pantalla. Cuando muc
ho se consigue aumentar este espacio aplicando una funcin de zoom, lo cual requie
re que el tamao de los componentes sea ms pequeo, y por lo tanto, difcil de manejar.
Se pretende que los software sean programas visuales, interactivo, realizado en
base a una programacin estructurada en el que el usuario fuera dirigiendo por l m
ismo la evolucin del sistema creado, de tal forma que exista una interoperabilida
d en el sistema usuario-mquina, y observando al mismo tiempo los diferentes parmet
ros, ya sea continuamente, por simple inspeccin, o por medio de mensajes que el p
rograma va generando oportunamente. Para conseguir esta forma de trabajo interac
tiva, el usuario selecciona la transicin que desee activar, y el programa, si es
necesario, enviar los mensajes adecuados en el momento mismo en que se presente e
l
Java
Descripcin: Alpina es un editor grfico y comprobador de modelo para una clase de a
lto nivel de redes de Petri llamada Redes de Petri algebraica.
imulacin rpida Anlisis Estructural Anlisis avanzado rendimiento
del
Ambientes
un, unO HP, HP-UX ilicon Graphics, IRIX PC, Linux PC, M
indows 2000 PC, M Windows XP
Windows NT PC, M
2.3.
CPN-AMI
Invariantes de Transicin Anlisis Estructural
Descripcin general Pgina principal: http://www.lip6.fr/cpn-ami Disponibilidad: Gra
tuito Caractersticas: Ambientes Redes de Petri admitidos
Intercambio del formato de fila ervicios para la modelizacin modular
Alto nivel de Redes de Petri Lugar / Redes de Transicin
Linux Macintosh
Descripcin Componentes
Editor grfico imulacin rpida Estados de Espacios Estado de Espacios Condensados Lu
gares Invariantes
CPN-AMI 3.2 El entorno de la Red de Petri se basa en la ingeniera de software Fra
meKit: una plataforma genrica para la aplicacin de entornos de ingeniera de softwar
e.
2.4.
Ex pect
procesos de negocio de manera eficaz y eficiente. Mediante el seguimiento de las
cargas de trabajo y los flujos de dinero y bienes Ex pect puede utilizar para d
eterminar el nivel de servicio de su organizacin. Ex pect ofrece el potencial par
a todo tipo imaginable de simulacin y as le ayuda a tomar decisiones sobre la redu
ccin de costes y de infraestructura a gran escala de los programas de inversin. Ex
pect tiene una completa interfaz grfica de usuario y una base formal slida, desar
rollada en estrecha cooperacin con la Universidad Tecnolgica de Eindhoven, desde 1
980. Ex pect los usuarios son capaces de construir modelos ejecutable con facili
dad y velocidad Cambio de los modelos desarrollados es un asunto an ms simple, ya
que una biblioteca de bloques de construccin se genera automticamente durante el d
esarrollo. Una ventaja de Ex pect es que es posible utilizar las bibliotecas de
aplicaciones especficamente preparado para cada campo en particular. Las bibliote
cas estn disponibles para el flujo de trabajo, la logstica, los procesos administr
ativos y ms situaciones de negocio especficos.
Descripcin general Pgina principal: Disponibilidad: (descuentos para acadmicas) Car
actersticas: Redes de Petri admitidos
Comercial instituciones
Alto nivel de Redes de Petri Lugar / Redes de Transicin Redes de Petri Estocsticos
Redes de Petri con Tiempo Jerarqua en la modelizacin
Componentes
Editor grfico Juego Animacin imulacin rpida imple anlisis de rendimiento Anlisis ava
nzado del rendimiento istema de gestin de flujo de trabajo Motor de simulacin dis
ponible como componente COM
Ambientes
Windows
imulacin rpida
Ambientes
Para apoyar un aspecto de modelo orientado a la ingeniera, las clases de grfico di
ferentes pueden ser utilizadas de forma simultnea, y los grficos de las diferentes
clases se pueden convertir en unos de otros.
PC, Linux PC, M Windows 2000 PC, M Windows XP Macintosh, Mac O X
Descripcin noopy es una herramienta para disear y ejecutar (animado, simular) grfi
co jerrquico basado
noopy ofrece algunas caractersticas (nodos de jerarqua, los nodos de lgica), que s
on especialmente tiles para los modelos ms grandes, o los modelos con un mayor gra
do de conectividad.
2.5.
TAPAAL
Descripcin general Pagina: http://www.tapaal.net Disponibilidad: Gratuito Caracte
rsticas Redes de Petri admitidos
PC, Linux PC, M DO PC, O /2 PC, M Windows 95 PC, M Windows 98 PC, M Windows
NT PC, M Windows 2000 PC, M Windows XP Macintosh, Mac O Macintosh, Mac O X
Java
Descripcin TAPAAL es una herramienta para la modelizacin, simulacin y verificacin de
Redes de Petri disponible para Linux, Windows y plataformas Mac O X. La herram
ienta TAPAAL ofrece un editor grfico para la elaboracin de modelos Tapn, un simula
dor para experimentar con las redes diseadas y un medio de verificacin que automtic
amente responde a las preguntas lgicas. El algoritmo de verificacin de las consult
as TAPAAL se traduce en los UPPAAL y se basa en el motor de verificacin de UPPAAL
.
Lugar / Redes de Transicin Redes de Petri con Tiempo
Componentes
Editor grfico Juego Animacin Anlisis avanzado del rendimiento Intercambio de format
de fila
Ambientes
un, unO HP, HP-UX ilicon Graphics, IRIX
2.6.
Visual Object Net ++
Editor grfico Juego Animacin imulacin rpida Anlisis Estructural imple anlisis de ren
dimiento de Compatible con jerarqua de objetos
Descripcin general
Ambientes
M Windows
Disponibilidad: Gratuito Caractersticas Redes de Petri admitidos
Descripcin Objeto Visual Net + + es un innovadora Red de Petri CAE, herramienta p
ara PC que mejora la mezcla de eventos continuos y discretos. Desde la versin 2 d
e Visual Net objeto admite los conceptos de tiempo, las prioridades, las capacid
ades de lugar, y un objeto de jerarqua basada en la manipulacin de grandes redes
Lugar / Redes de Transicin Redes de Petri con Tiempo Hybrid dinmica Redes Hibrida
Dinmica y Redes hbridas de objetos Componentes
Redes de Petri Estocsticas Redes de Petri con Tiempo
Componentes 2.7. TimeNET
Descripcin general Tool homepage: http://www.tuilmenau.de/TimeNET Disponibilidad:
comercial (gratuito para instituciones acadmicas) Caractersticas
Editor grfico Juego Animacin imulacin rpida Lugares Invariantes Anlisis Estructural
imple anlisis de rendimiento Anlisis de Rendimiento Avanzado
Ambientes Redes de Petri admitidos
Alto nivel de Redes de Petri Lugar / Redes de Transicin
PC, Linux PC, M
Windows XP
Windows XP
Diseo de escena interactiva con los manipuladores de grficos 3D. Interfaz de secue
ncias de comandos Python y editor de cdigo fuente.
Alto nivel de Redes de Petri Redes de Petri Estocsticos Redes de Petri con Tiempo
Componentes
Editor grfico Juego Animacin imulacin rpida Espacios de estados Espacios de estados
condensados Lugares Invariantes Invariantes de Transicin Anlisis Estructural Anlis
is de Rendimiento Avanzado
2.10. HiQPN-Tool HiQPNHerramienta Descripcin Pgina: http://ls4www.informatik.unido
rtmund.de/QPN/ Disponibilidad: Gratuito Caractersticas Redes de Petri admitidos
Ambientes
un ol Linux olaris on PCs and un workstations
olaris
un ol
Descripcin
Java
Descripcin El proyecto JPetriNet es un modelo de Petri Net, herramienta de anlisis
y simulacin de hecho en lenguaje de programacin Java. JPetriNet anteriormente se
haba dicho a las ayudas de las actividades educativas, pero tambin podra ser utiliz
ado en cualquier otra finalidad relacionada con los sistemas concurrentes.
Lugar / Redes de Transicin Redes de Petri con Tiempo
CONCLU IONE
El programa GRP es una herramienta en proceso de desarrollo constante que propor
ciona un soporte grfico interactivo tanto a quienes participan en el proceso de e
nseanza-aprendizaje de reas de conocimiento tan separadas como el diseo de autmatas,
de toma de decisiones por medio de la Investigacin de Operaciones, o la evolucin
de una coreografa, los cuales puedan ser representados mediante Redes de Petri. E
s evidente que existe una gran cantidad de aplicaciones (tanto en la industria c
omo en los diversos procesos en los que existe un flujo de informacin y una secue
ncia ordenada de eventos) cuyo diseo y anlisis son factibles tomando como base las
Redes de
Petri y su implementacin se lograra de una manera sencilla y segura, si se cuenta
con una herramienta automatizada que permita conocer de forma rpida y confiable
los diferentes estados de la aplicacin en estudio. La herramienta que se obtuvo c
omo resultado de este trabajo de tesis nos permite llevar a cabo los anlisis refe
ridos. sta ha sido denominada Gestor de Redes de Petri GRP. us aplicaciones, en el
entorno de Manzanillo, se pueden extender desde el diseo de un proceso de trmites
en una agencia naviera, hasta el diseo de un programa institucional de construcc
in de un edificio. Asimismo, la aplicacin GRP ser de gran apoyo en los cursos en lo
s cuales se analicen las Redes de Petri, porque permitir al alumno comprender de
una manera sencilla, confiable e interactiva, las bases mismas de su teora, en vi
rtud de poseer una Interfaz Grfica del Usuario fcil de comprender y utilizar. El cd
igo fuente del programa ofrece la oportunidad de empleo como recurso didctico en
los cursos de Visual Basic. e proporciona una coleccin de Herramientas de