La aplicación PetrA

PetrA es una aplicación que permite manejar redes de Petri como si fueran documentos, y editarlas gráficamente con ayuda del ratón. Para esto cuenta con varios elementos útiles como ventanas asociadas a cada documento, panel de herramientas, panel de preferencias y un inspector. El panel de herramientas permite al usuario seleccionar el objeto gráfico que empleará en la edición de la red de Petri. El panel de preferencias permite al usuario seleccionar algunas opciones generales de los objetos gráficos de la red de Petri, como el empleo de colores. El inspector permite obervar y manejar los atributos más importantes de los componentes gráficos de las redes de Petri (peso de los arcos, y número de tokens en un lugar, por mencionar algunos).

La ejecución de PetrA tiene las características de la aplicaciones de OpenStep y Mac OS X, es decir, es un sistema con una interfaz de usuario gráfica con menúes y ventanas que responde a acciones del usuario. Como se aprecia en las figuras de este capítulo.

Al ejecutar PetrA se muestra su menú principal (en barra superior de la pantalla) y aparece el panel de herramientas. Como se puede apreciar en la figura  5.1.

  

Figure 5.1: Ejecución de PegtrA en Mac OS X.