Planteamiento

Como cualquier aplicación, PetrA debe cumplir con conjunto de propiedades que le permitan al usuario trabajar con redes de Petri de una manera sencilla y confiable.

La aplicación PetrA tiene como propiedades las siguientes:

• Capacidad de almacenar la red de Petri como un documento.
• Capacidad de trabajar con diferentes documentos en forma simultánea.
• Contar con un editor gráfico para el diseño de la red de Petri.
• Ejecutar la simulación de la red de Petri sobre el diseño gráfico correspondiente.
• Capacidad de poder incorporar los diferentes tipos de redes de Petri que existen (por ejemplo redes coloreadas, orientadas a objetos y redes basadas en tiempo).