next up previous contents
Next: Imprimir una red de Up: La aplicación PetrA Previous: La aplicación PetrA

Manejo de documentos

PetrA maneja a las redes de Petri como documentos. Así, si se desea crear una nueva red de Petri, salvar, o recuperar habrá que utilizar las opciones New, Save, y Open, respectivamente, del menú File. Los documentos de redes de Petri que maneja PetrA tienen la extensión pn.

Al crear un nuevo documento (opción New del menú File) el usuario obtiene una ventana con área de trabajo limpia donde podrá crear su modelo.

Cuando el usuario carga un documento (opción Open del menú File), se le muestra al usuario un panel para seleccionar el archivo que desea trabajar, de hecho los únicos archivos que se pueden abrir son los que tienen la extensión pn.

Si el usuario desea salvar su documento, entonces puede utlizar la opción Save o Save As (del menú File). Estas opciones se diferencian entre sí en lo siguiente. La opción Save guarda el documnento con su nombre actual --en caso de que caresca de nombre (si aparece UNTITLED en la barra de estado la ventana del documento), procede a mostrar un panel para seleccionar el nombre del archivo y directorio donde se almacenará--. La opción Save As se utiliza para guardar el documento con otro nombre, por lo que siempre se mostrará el panel para seleccionar el nomnre y directorio de almacenamiento y se continúa trabajando con este nuevo archivo.



 
next up previous contents
Next: Imprimir una red de Up: La aplicación PetrA Previous: La aplicación PetrA
Amilcar Meneses
2002-11-08