Herramientas de redes de Petri

En la base de datos de redes de Petri de presentada en [30], se presenta una tabla con una descripción general de distintas aplicaciones, comerciales y gratuitas, que trabajan con redes de Petri. En esta lista aparecen herramientas muy completas y poderozas como: Artifex, Alpha/sim, EDS Petri Net Tool y SYROCO. Esta herramientas están orientadas a resolver problemas de modelación de aplicaciones distribuidas u orientadas a objetos, y que además ayudan en la generación y verificación de código, sin embargo su licencia es bastante alta, varia entre 2000 y1000 dólares.

Por otro lado, las aplicaciones libres desarrolladas en centros de investigación y escuelas de Ciencias de la Computación se presentan como sistemas que se ejecutan un sólo tipo de redes de Petri --por ejemplo, Maria es un sistema orientado a la resolución de la propiedad alcanzabilidad--, o están montadas sobre un Kit de herramientas CASE experimental (CPN-AMI y GDToolKit), o están escritos en Java (CoopnTools, Predator, DaNAMiCS, JARP).

Con la popularización de Java han aparecido distintos editores y simuladores de redes de Petri, ya que varios grupos de trabajo concentran su atención en la portabilidad de estas aplicaciones. Sin embargo estas aplicaciones tienen varios puntos débiles:

• Estas herramientas se desarrollan para trabajar con un tipo de red de Petri, por lo que no se pueden hacer extensiones.

• Tienen problemas de rendimiento (ya que Java, al ser interpretado es lento^1.2 y además, el $30\%$ del código ejecutable generado es de sobrecarga) y de portabilidad, heredados de Java (ver [31]).

• No se discute de manera adecuada su implantación, por lo que resulta difícil hacer modificaciones al código fuente que ofrecen.

• Las aplicaciones escritas en Java no manejan todas las características y facilidades que ofrece un sistema operativo para la interacción de sus aplicaciones ``nativas''.