I.2.9. Help menu

The Help menu (fig. I.9) provides information for the exploitation of the PN Toolbox. The commands available in this menu are as follows:

Ø

Contents and Index: opens this documentation;

Ø

Demos: allows visualization of four Flash movies initiating the user in the exploitation of the PN Toolbox;

Ø

About Petri Net Toolbox: contains information about the authors of the PN Toolbox.

Fig. I.9. The Help menu.