Comparacin entre los diferentes Software de simulacin de Redes de Petri

Luis Fernando Rodriguez Giraldo1 Roberto Carlos Guevara Calume2 Diego Fernando Arroyave 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 Buenaventura. Estudiante Maestra en Automatizacin y Control Industrial.

3.

Diego Fernando Arroyave Berrio. Ingeniero Electrnico UdeA. Estudiante Maestra en Automatizacin y Control Industrial.

Resumen El desarrollo de sistemas fsicos cuyos estados evolucionan en forma automtica 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 movimiento 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 herramientas 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 pueden analizar por medio de un programa computacional y sus resultados por medio de una interface grfica.

Este programa enviar, durante la evolucin de la red, mensajes precisos acerca de sus caractersticas tales como existencia de conflictos, vivacidad, limitacin y conservatividad.

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 subsistemas que a su vez ellos controlan, adems de los altos costos que implica el construir un prototipo a escala del sistema que se desea crear, es cada vez ms necesario 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 acontecimientos que provienen del exte-

rior, es decir, que describa cmo funciona el sistema. Esta herramienta de modelado debe permitir al diseador anticipar el mayor nmero de estados en los que se encuentre el sistema a lo largo de su evolucin. Estos estados, en su conjunto, definirn el comportamiento global del sistema, as como sus caractersticas. A efecto de lograr un conocimiento cabal de las propiedades estructurales y operativas del sistema, la herramienta de modelado adecuada permitir al diseador asegurar la validez y confiabilidad del prototipo antes de llevarlos a la construccin fsica. Una de las herramientas que se puede utilizar en el diseo de sistemas de evoluciones simultneas, es la herramienta conocida como las Redes de Petri, una herramienta de diseo poderosa y de fcil comprensin, creada y desarrollada por Karl Adam Petri en 1962, la cual tiene un espectro de aplicacin de muy amplio rango, desde procesos legales 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 permita, por medio de una interfaz grfica fcil de usar, observar de manera clara y precisa las caractersticas ms importantes de su red a medida que se desarrolla su evolucin, enviando mensajes acerca de la existencia de conflictos, vivacidad, limitacin y conservatividad.

Para conocer los diferentes estados de la red, se pueden calcular todos los marcados alcanzables a partir del marcado inicial, construyendo el rbol de alcanzabilidad de la red. Esta tcnica es ideal cuando se elabora una red que contenga un nmero grande de componentes, ya que proporciona el total de las situaciones posibles, a partir de las cuales el programa puede establecer los criterios de k-limitacin, vivacidad, existencia de conflictos, conservatividad, y otras caractersticas. Sin embargo, los programas en ambientes grficos tienen el inconveniente de que el rea de trabajo del usuario est limitada al tamao de una sola pantalla. Cuando mucho se consigue aumentar este espacio aplicando una funcin de zoom, lo cual requiere 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 mismo la evolucin del sistema creado, de tal forma que exista una interoperabilidad en el sistema usuario-mquina, y observando al mismo tiempo los diferentes parmetros, ya sea continuamente, por simple inspeccin, o por medio de mensajes que el programa va generando oportunamente. Para conseguir esta forma de trabajo interactiva, 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 el

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 complejos. 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 fciles de aplicar, sin la necesidad de conocer las tcnicas subyacentes relacionadas con 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 modelo simblico basado en DD, una evolucin eficiente en el campo de los diagramas Decisin, utilizando nuevas tcnicas, como la agrupacin algebraicas y despliegues. Esto permite comprobar el estado de los modelos con espacios muy grandes.

2. CUERPO TRABAJO

DEL

Comparacin entre diferentes tipos de Software para Redes de Petri.

2.1.

ALPINA

Descripcin general Pgina http://alpina.unige.ch/ principal:

Disponibilidad de la herramienta: Gratuito Caractersticas Redes de Petri admitidos 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 la licencia pblica general GNU.

Editor grfico Espacios de los estados(Estado de Espacio) Espacios de Estados Condensados 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 alto nivel de redes de Petri llamada Redes de Petri algebraica.

Simulacin rpida Anlisis Estructural Anlisis avanzado rendimiento

del

Ambientes

Sun, SunOS HP, HP-UX Silicon Graphics, IRIX PC, Linux PC, MS Windows NT PC, MS Windows 2000 PC, MS Windows XP

Descripcin: Artifex es un poderoso apoyo al modelado y simulacin del entorno de diseo de sistemas de eventos discretos. Artifex tiene un lenguaje grfico intuitivo que visualmente describe el comportamiento dinmico del sistema, apoyado por un entorno de diseo integral, tanto para la simulacin de eventos discretos y el desarrollo 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: (descuentos 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 almacenamiento intermedio, la clasificacin de paquetes, control de la congestin, la proteccin y restauracin, programacin de algoritmos y de las polticas, arquitecturas ASIC, redes 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: Gratuito Caractersticas: Ambientes Redes de Petri admitidos

Intercambio del formato de fila Servicios para la modelizacin modular

Alto nivel de Redes de Petri Lugar / Redes de Transicin

Linux Macintosh

Descripcin Componentes

Editor grfico Simulacin rpida Estados de Espacios Estado de Espacios Condensados Lugares Invariantes

CPN-AMI 3.2 El entorno de la Red de Petri se basa en la ingeniera de software FrameKit: una plataforma genrica para la aplicacin de entornos de ingeniera de software.

2.4.

ExSpect

procesos de negocio de manera eficaz y eficiente. Mediante el seguimiento de las cargas de trabajo y los flujos de dinero y bienes ExSpect puede utilizar para determinar el nivel de servicio de su organizacin. ExSpect ofrece el potencial para todo tipo imaginable de simulacin y as le ayuda a tomar decisiones sobre la reduccin de costes y de infraestructura a gran escala de los programas de inversin. ExSpect tiene una completa interfaz grfica de usuario y una base formal slida, desarrollada en estrecha cooperacin con la Universidad Tecnolgica de Eindhoven, desde 1980. ExSpect los usuarios son capaces de construir modelos ejecutable con facilidad 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 desarrollo. Una ventaja de ExSpect es que es posible utilizar las bibliotecas de aplicaciones especficamente preparado para cada campo en particular. Las bibliotecas estn disponibles para el flujo de trabajo, la logstica, los procesos administrativos y ms situaciones de negocio especficos.

Descripcin general Pgina principal: Disponibilidad: (descuentos para acadmicas) Caractersticas: 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 Simulacin rpida Simple anlisis de rendimiento Anlisis avanzado del rendimiento Sistema de gestin de flujo de trabajo Motor de simulacin disponible como componente COM

Ambientes

MS Windows

Descripcin Herramienta de negocios que ofrece a las organizaciones la capacidad de modelar, controlar y analizar los

Pgina: http://wwwdssz.informatik.tucottbus.de/software/snoopy.html Descripcin general Disponibilidad: Gratuito

Caractersticas: Redes de Petri admitidos

Lugar / Redes de Transicin Redes de Petri estocsticas Redes de Petri con Tiempo Redes de Petri continuas

en las descripciones del sistema. La herramienta viene con varias grficos pre-fabricados, 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 Simulacin rpida

Ambientes

Para apoyar un aspecto de modelo orientado a la ingeniera, las clases de grfico diferentes pueden ser utilizadas de forma simultnea, y los grficos de las diferentes clases se pueden convertir en unos de otros.

PC, Linux PC, MS Windows 2000 PC, MS Windows XP Macintosh, Mac OS X

Descripcin Snoopy es una herramienta para disear y ejecutar (animado, simular) grfico jerrquico basado

Snoopy ofrece algunas caractersticas (nodos de jerarqua, los nodos de lgica), que son especialmente tiles para los modelos ms grandes, o los modelos con un mayor grado de conectividad.

2.5.

TAPAAL

Descripcin general Pagina: http://www.tapaal.net Disponibilidad: Gratuito Caractersticas Redes de Petri admitidos

PC, Linux PC, MS DOS PC, OS/2 PC, MS Windows 95 PC, MS Windows 98 PC, MS Windows NT PC, MS Windows 2000 PC, MS Windows XP Macintosh, Mac OS Macintosh, Mac OS X Java

Descripcin TAPAAL es una herramienta para la modelizacin, simulacin y verificacin de Redes de Petri disponible para Linux, Windows y plataformas Mac OS X. La herramienta TAPAAL ofrece un editor grfico para la elaboracin de modelos Tapn, un simulador para experimentar con las redes diseadas y un medio de verificacin que automticamente responde a las preguntas lgicas. El algoritmo de verificacin de las consultas 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

Sun, SunOS HP, HP-UX Silicon Graphics, IRIX

2.6.

Visual Object Net ++

Editor grfico Juego Animacin Simulacin rpida Anlisis Estructural Simple anlisis de rendimiento de Compatible con jerarqua de objetos

Descripcin general

Ambientes

MS Windows

Disponibilidad: Gratuito Caractersticas Redes de Petri admitidos

Descripcin Objeto Visual Net + + es un innovadora Red de Petri CAE, herramienta para PC que mejora la mezcla de eventos continuos y discretos. Desde la versin 2 de Visual Net objeto admite los conceptos de tiempo, las prioridades, las capacidades 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 Simulacin rpida Lugares Invariantes Anlisis Estructural Simple 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, MS Windows XP

Descripcin TimeNet es un paquete de software para el modelado y la evaluacin de los SPN 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 resultado puede ser definido en el modelo de nivel en

una sintaxis especial. Modelos con escala de tiempo continua, as como de tiempo discreto son compatibles. El anlisis estacionario es basado en la teora de Markov regenerativa. 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 Caractersticas Redes de Petri admitidos

PC, MS Windows NT PC, MS Windows 2000 PC, MS Windows XP

Descripcin

Geist3D es un graficador en tiempo real en tres dimensiones. Es compatible con una combinacin de secuencias de comandos de Python y las redes de Petri como lenguaje de programacin para entornos virtuales. Todas las caractersticas de Geist3D incluyen:

Pgina: http://www.di.unito.it/ ~ greatspn / Disponibilidad: comercial (gratuito para instituciones acadmicas) Caractersticas Redes de Petri admitidos

Diseo de escena interactiva con los manipuladores de grficos 3D. Interfaz de secuencias 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.

GreatSPN

Descripcin general

Componentes

Editor grfico Juego Animacin Simulacin rpida Espacios de estados Espacios de estados condensados Lugares Invariantes Invariantes de Transicin Anlisis Estructural Anlisis de Rendimiento Avanzado

2.10. HiQPN-Tool HiQPNHerramienta Descripcin Pgina: http://ls4www.informatik.unidortmund.de/QPN/ Disponibilidad: Gratuito Caractersticas Redes de Petri admitidos

Ambientes

Sun Sol Linux Solaris on PCs and Sun workstations Solaris

Alto nivel de Redes de Petri Redes de Petri Estocsticas

Descripcin Es un paquete de software para el modelado, validacin y evaluacin del desempeo de los sistemas distribuidos utilizando Redes de Petri generalizada estocsticos y su extensin de colores: La herramienta proporciona un marco favorable a experimentar con la oportuna red de Petri tcnicas de modelado basada en implementacin de algoritmos de anlisis de eficiencia para permitir su uso en aplicaciones ms complejas, 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

Sun Sol

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 resultados 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.sourceforge.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 utilizado en cualquier otra finalidad relacionada con los sistemas concurrentes.

Lugar / Redes de Transicin Redes de Petri con Tiempo

CONCLUSIONES

El programa GRP es una herramienta en proceso de desarrollo constante que proporciona un soporte grfico interactivo tanto a quienes participan en el proceso de enseanza-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. Es evidente que existe una gran cantidad de aplicaciones (tanto en la industria como en los diversos procesos en los que existe un flujo de informacin y una secuencia 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 como resultado de este trabajo de tesis nos permite llevar a cabo los anlisis referidos. sta ha sido denominada Gestor de Redes de Petri GRP. Sus 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 construccin de un edificio. Asimismo, la aplicacin GRP ser de gran apoyo en los cursos en los 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 virtud de poseer una Interfaz Grfica del Usuario fcil de comprender y utilizar. El cdigo fuente del programa ofrece la oportunidad de empleo como recurso didctico en los cursos de Visual Basic. Se proporciona una coleccin de Herramientas de

Redes de Petri gratuitas para que el interesado, si as lo desee, los descargue, utilice y compare. AGRADECIMIENTOS MSC. Rubn Daro Vsquez Salazar, por sus conocimientos transmitidos desinteresadamente y por sus invaluables aportes A mis compaeros, en quienes siempre encuentro amigos sinceros dispuestos a llegar a nuevos horizontes a base de esfuerzos y estudio, para transformar nuestro entorno, y superarnos como individuos y sociedad.

RELACIN DE HERRAMIENTAS DE REDES DE PETRI GRATUITOS, Y SU DIRECCIN EN LA INTERNET: 1. ARP http://www.ppgia.pucpr.br/~maziero/Petri/ 2. CoopnTools http://lglwww.epfl.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 http://ls4-www.informatik.uni-dortmund.de/QPN/ 7. PSim http://home.t-online.de/home/henryk.a/petrinet/e/hpsim_e.htm 8. INA http://www.informatik.huberlin.de/~starke/ina.html 9. JARP http://jarp.sf.net/ 10. JFern http://sourceforge.net/projects/jfern 11. Maria http://www.tcs.hut.fi/Software/maria/ 12. Marigold http://wwwusers.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 16. Petri Net Kernel http://pnk.sourceforge.net/ 17. PetriSim http://staff.um.edu.mt/jsk11/petrisim/ index.html 18. Platform Independent Petri Net Editor http://petri-net.sourceforge.net/ 19. PNSim http://www.elyros.com/PNSim/ 20. PNtalk http://www.fee.vutbr.cz/~janousek/pntalk/pntalk.html

REFERENCIAS

[1] Silva, Manuel (1985). Las Redes de Petri en la Automtica y la Informtica [2] Ceballos, Francisco Javier (1996). Enciclopedia de Visual Basic 4 [3] http://www.vb-helper.com/howto_draw_arrows.html [4]http://support.microsoft.com/default.aspx?scid=http://support.microsoft.com:80/ support/ kb/articles/Q180/9/36.asp&NoWebContent=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/Software/prod/ 24. Renew http://www.renew.de 25. SEA http://www.c-lab.de/sea/ 26. SIPN-Editor http://www.eit.unikl.de/litz/ENGLISH/software/SIPNEditor.htm 27. SimulaWorks http://www.simulaworks.com 28. Tina http://www.laas.fr/tina 29. TPTPN http://www.cdc.unict.it/~scava/tptpn.html 30. VIPtool http://www.informatik.kueichstaett.de/VIP/ 31. Visual Object Net ++ http://www.systemtechnik.tu-ilmenau.de/~drath/visual_E.htm 32. WebSPN http://sun195.iit.unict.it/~webspn/we bspn2/ 33. WINSIM ftp://cmpe.emu.edu.tr/SimSystem

8) MISS-RdP http://www.ixi.fr/tools/pages/miss/fr_ 0.htm 9) Nevod http://geocities.com/zsoftua 10) Opera http://geocities.com/zsoftua 11) PACE http://www.ibepace.com 12) SPNP http://www.ee.duke.edu/~kst/ 13) STROBOSCOPE http://strobos.ce.vt.edu/ 14) SYROCO http://www.univtlsel.fr/ceriss/COOgene.html 15) TimeNET http://pdv.cs.tuberlin.de/~timenet/

LA SIGUIENTE RELACIN MUESTRA UNA LISTA DE HERRAMIENTAS DE REDES DE PETRI QUE NICAMENTE SE PUEDEN OBTENER DE MANERA COMERCIAL, Y SU DIRECCIN EN LA INTERNET: 1) ALPHA/Sim http://www.alphatech.com/secondary/techpro/alphasim/alphasim.html 2) Artifex http://www.rsoftdesign.com 3) ExSpect http://www.exspect.com 4) F-net http://www.fi.ru/os/Petri.php3 5) GDToolkit http://www.dia.uniroma3.it/ ~gdt/ 6) GreatSPN http://www.di.unito.it/~greatspn/ 7) INCOME Process Designer http://www.get-process.com