I.2.2. Modeling menu

The Modeling menu (fig. I.3) provides tools for graphical editing (graph nodes, arcs, tokens, labels) a model in the Drawing Area. The commands available in this menu are:

•

Add Place: adds a new place to the current PN model;

•

Add Transition: adds a new transition to the current PN model;

•

Add Arc: allows drawing an arc between two different nodes of the current PN model;

•

Add Token: adds a token in a specific place;

•

Transitions Representation: allows the user to select the desired representation (as a Vertical or Horizontal bar) for the new transitions drawn in the model loaded in the Drawing Area;

•

Edit Objects: opens the dialogue box associated with the net object that is selected in the Drawing Area by a click on the left button of the mouse. It allows the user to edit the properties of the selected object; these properties are in full accordance with the type of the PN model, so that part of them might be already disabled by the initial choice of the net type.

•

Resolution for Conflicting Transitions: allows assigning priorities or probabilities to conflicting transitions.