Sie sind auf Seite 1von 19

Comparacin entre los diferentes Software de simulacin de Redes de Petri

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

evento, tal como la existencia de conflictos, o el bloqueo de la red.


Su propsito principal es llevar a cabo controles de accesibilidad en modelos comp
lejos. Alpina es implementado como un plugin de Eclipse. La interfaz de usuario
ha sido creada utilizando el enfoque de metamodeling EMP. As, los modelos son fcil
es de aplicar, sin la necesidad de conocer las tcnicas subyacentes relacionadas c
on el desempeo del modelo de control. La verificacin del modelo actual se realiza
en un motor independiente, implementado en Java. Se realiza la verificacin de mod
elo simblico basado en DD, una evolucin eficiente en el campo de los diagramas Deci
sin, utilizando nuevas tcnicas, como la agrupacin algebraicas y despliegues. Esto p
ermite comprobar el estado de los modelos con espacios muy grandes.
2. CUERPO TRABAJO
DEL
Comparacin entre diferentes tipos de oftware para Redes de Petri.
2.1.
ALPINA
Descripcin general Pgina http://alpina.unige.ch/ principal:
Disponibilidad de la herramienta: Gratuito Caractersticas Redes de Petri admitido
s nivel de Redes de Petri Componentes

Alto Otras observaciones This program is free software; it can be redistributed
and/or modified under the terms of the GNU General Public License. Este programa
es software libre, puede ser redistribuido y / o modificar bajo los trminos de l
a licencia pblica general GNU.
Editor grfico Espacios de los estados(Estado de Espacio) Espacios de Estados Cond
ensados Anlisis simple de rendimiento. Formato de Intercambio de filas
Ambiente

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

Descripcin: Artifex es un poderoso apoyo al modelado y simulacin del entorno de di


seo de sistemas de eventos discretos. Artifex tiene un lenguaje grfico intuitivo q
ue visualmente describe el comportamiento dinmico del sistema, apoyado por un ent
orno de diseo integral, tanto para la simulacin de eventos discretos y el desarrol
lo de software en tiempo real. Artifex es ideal para el diseo y simulacin de:

2.2.
Artifex
Descripcin general: Pgina principal: http://www.rsoftdesign.com Disponibilidad: (d
escuentos para acadmicas) Caractersticas: Redes de Petri admitidos

Comercial instituciones
Redes de comunicacin Equipos de conmutacin Protocolos
Orientado a objetos Alto nivel de Redes de Petri Lugar / Redes de Transicin Redes
de Petri con Tiempo
Componentes

Para la exploracin y la validacin de una amplia variedad de esquemas de almacenami
ento intermedio, la clasificacin de paquetes, control de la congestin, la proteccin
y restauracin, programacin de algoritmos y de las polticas, arquitecturas A IC, re
des pticas y mucho ms.
Editor grfico Juego Animacin

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

Descripcin Herramienta de negocios que ofrece a las organizaciones la capacidad d


e modelar, controlar y analizar los

Pgina: http://wwwdssz.informatik.tucottbus.de/software/snoopy.html Descripcin gene


ral Disponibilidad: Gratuito

Caractersticas: Redes de Petri admitidos



Lugar / Redes de Transicin Redes de Petri estocsticas Redes de Petri con Tiempo Re
des de Petri continuas
en las descripciones del sistema. La herramienta viene con varias grficos pre-fab
ricados, sobre todo una especie de redes de Petri y otros grficos relacionados, y
facilita una integracin cmoda de las clases ms grfico debido a su diseo genrico.
Componentes:

Editor grfico Juego Animacin

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

Descripcin TimeNet es un paquete de software para el modelado y la evaluacin de lo


s PN en el que los tiempos de coccin de las transiciones pueden ser distribuidos
de manera exponencial, determinista, o ms generalmente distribuidos. Los modelos
pueden ser especificados con una interfaz grfica de usuario. Las medidas de resu
ltado puede ser definido en el modelo de nivel en
una sintaxis especial. Modelos con escala de tiempo continua, as como de tiempo d
iscreto son compatibles. El anlisis estacionario es basado en la teora de Markov r
egenerativa. Una cadena de Markov incrustado (EMC) es construido y resuelto. El
anlisis transitorio se basa en el mtodo de las variables complementarias.

Alto nivel de Redes de Petri Lugar / Redes de Transicin Redes de Petri con Tiempo
2.8.
Geist3D
Componentes Ambientes

Descripcin general Pgina: http://www.geist3d.org Disponibilidad: Gratuito Caracters
ticas Redes de Petri admitidos
PC, M Windows NT PC, M Windows 2000 PC, M
Descripcin

Windows XP

Geist3D es un graficador en tiempo real en tres dimensiones. Es compatible con u


na combinacin de secuencias de comandos de Python y las redes de Petri como lengu
aje de programacin para entornos virtuales. Todas las caractersticas de Geist3D in
cluyen:

Pgina: http://www.di.unito.it/ ~ greatspn / Disponibilidad: comercial (gratuito p


ara instituciones acadmicas) Caractersticas Redes de Petri admitidos

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

Lenguaje de programacin utilizando redes de Petri


2.9.
Great PN
Descripcin general

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

Alto nivel de Redes de Petri Redes de Petri Estocsticas


Descripcin Es un paquete de software para el modelado, validacin y evaluacin del de
sempeo de los sistemas distribuidos utilizando Redes de Petri generalizada estocst
icos y su extensin de colores: La herramienta proporciona un marco favorable a ex
perimentar con la oportuna red de Petri tcnicas de modelado basada en implementac
in de algoritmos de anlisis de eficiencia para permitir su uso en aplicaciones ms c
omplejas, no slo ejemplos de juguete.
Componentes

Editor grfico Juego Animacin Espacios de los estados Lugar Invariantes Invariantes
de Transicin Anlisis de Rendimiento Avanzado Intercambio de format de fila
Ambientes

un ol
Descripcin

Es una herramienta para especificar y analizar Jerrquicamente combinado de colas


redes de Petri (HQPNs), una clase de red de Petri combinado y colas formalismos
de modelado de la red.
herramienta soporta una especificacin de modelo jerrquico, en combinacin con result
ados cualitativos y cuantitativos () anlisis, que de forma masiva los beneficios
de la especificacin jerrquica.
Componentes

Editor grfico Anlisis Estructural
2.11. JPetriNet Descripcin Pgina principal de la herramienta: http://jpetrinet.sou
rceforge.net Disponibilidad: Gratuito Caractersticas Redes de Petri admitidos

Ambientes

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

Redes de Petri gratuitas para que el interesado, si as lo desee, los descargue, u


tilice y compare. AGRADECIMIENTO M C. Rubn Daro Vsquez alazar, por sus conocimien
tos transmitidos desinteresadamente y por sus invaluables aportes A mis compaeros
, en quienes siempre encuentro amigos sinceros dispuestos a llegar a nuevos hori
zontes a base de esfuerzos y estudio, para transformar nuestro entorno, y supera
rnos como individuos y sociedad.
RELACIN DE HERRAMIENTA DE REDE DE PETRI GRATUITO , Y U DIRECCIN EN LA INTERNET:
1. ARP http://www.ppgia.pucpr.br/~maziero/Petri/ 2. CoopnTools http://lglwww.ep
fl.ch/Conform 3. CPN-AMI http://www.lip6.fr/cpnami 4. CPN Tools http://www.daimi
.au.dk/CPNtools/ 5. Design/CPN http://www.daimi.au.dk/designCPN/ 6. HiQPN-Tool h
ttp://ls4-www.informatik.uni-dortmund.de/QPN/ 7. P im http://home.t-online.de/ho
me/henryk.a/petrinet/e/hpsim_e.htm 8. INA http://www.informatik.huberlin.de/~sta
rke/ina.html 9. JARP http://jarp.sf.net/ 10. JFern http://sourceforge.net/projec
ts/jfern 11. Maria http://www.tcs.hut.fi/ oftware/maria/ 12. Marigold http://www
users.cs.york.ac.uk/~jwillans/VE Research.html 13. The Model-Checking Kit http:/
/wwwbrauer.in.tum.de/gruppen/theorie/KIT/ 14. PED http://www-dssz.Infortnatik.TU
-Cottbus.DE/~wwwdssz/ 15. PEP http://parsys.Informatik.UniOldenburg.DE/~pe p56 1
6. Petri Net Kernel http://pnk.sourceforge.net/ 17. Petri im http://staff.um.edu
.mt/jsk11/petrisim/ index.html 18. Platform Independent Petri Net Editor http://
petri-net.sourceforge.net/ 19. PN im http://www.elyros.com/PN im/ 20. PNtalk htt
p://www.fee.vutbr.cz/~janousek/pntalk/pntalk.html
REFERENCIA
[1] ilva, Manuel (1985). Las Redes de Petri en la Automtica y la Informtica [2] C
eballos, Francisco Javier (1996). Enciclopedia de Visual Basic 4 [3] http://www.
vb-helper.com/howto_draw_arrows.html [4]http://support.microsoft.com/default.asp
x?scid=http://support.microsoft.com:80/ support/ kb/articles/Q180/9/36.asp&NoWeb
Content=1 [5] http://www.vb-helper.com/HowTo/segments.zip
APNDICE A

21. Poses++ http://www.gpc.de 22. Predator http://www.mark.wass.com/Petrinets 23


. PROD http://www.tcs.hut.fi/ oftware/prod/ 24. Renew http://www.renew.de 25. E
A http://www.c-lab.de/sea/ 26. IPN-Editor http://www.eit.unikl.de/litz/ENGLI H/
software/ IPNEditor.htm 27. imulaWorks http://www.simulaworks.com 28. Tina http
://www.laas.fr/tina 29. TPTPN http://www.cdc.unict.it/~scava/tptpn.html 30. VIPt
ool http://www.informatik.kueichstaett.de/VIP/ 31. Visual Object Net ++ http://w
ww.systemtechnik.tu-ilmenau.de/~drath/visual_E.htm 32. Web PN http://sun195.iit.
unict.it/~webspn/we bspn2/ 33. WIN IM ftp://cmpe.emu.edu.tr/ im ystem
8) MI -RdP http://www.ixi.fr/tools/pages/miss/fr_ 0.htm 9) Nevod http://geociti
es.com/zsoftua 10) Opera http://geocities.com/zsoftua 11) PACE http://www.ibepac
e.com 12) PNP http://www.ee.duke.edu/~kst/ 13) TROBO COPE http://strobos.ce.vt
.edu/ 14) YROCO http://www.univtlsel.fr/ceriss/COOgene.html 15) TimeNET http://
pdv.cs.tuberlin.de/~timenet/
LA IGUIENTE RELACIN MUE TRA UNA LI TA DE HERRAMIENTA DE REDE DE PETRI QUE NICAM
ENTE E PUEDEN OBTENER DE MANERA COMERCIAL, Y U DIRECCIN EN LA INTERNET: 1) ALPH
A/ im http://www.alphatech.com/secondary/techpro/alphasim/alphasim.html 2) Artif
ex http://www.rsoftdesign.com 3) Ex pect http://www.exspect.com 4) F-net http://
www.fi.ru/os/Petri.php3 5) GDToolkit http://www.dia.uniroma3.it/ ~gdt/ 6) Great
PN http://www.di.unito.it/~greatspn/ 7) INCOME Process Designer http://www.get-p
rocess.com

Das könnte Ihnen auch gefallen