I.2.1. File menu
The File menu (fig. I.2) offers facilities for file-handling operations. This is the only menu available when the PN Toolbox GUI is started. This menu contains the commands:
•
New Model: opens a new board in the Drawing Area for the user to draw a new PN model. This command first opens a dialogue box for selecting the type of the new model;
•
Open Model: loads a previously saved model;
•
Import Model: imports PN models created in TimeNET software;
•
Close Model: clears the Drawing Area asking for saving the current model if changes appeared in it;
•
Save Model: saves the PN model drawn in the Drawing Area;
•
Save Model As …: saves the current model with a name given by the user. The file is automatically created under the Projects_Save directory set in the PNTconfig.txt file;
•
Save Model As Image: saves the current model as a jpg file in a location and with a name given by the user;
•
Print Model: prints the current model on the printer selected by the user;
•
Exit PNToolbox: closes the current working session and clears all the global variables corresponding to the PN Toolbox.
Fig. I.2. The File menu.