The last opportunity to modify a net is by using the property tree located on the right side of the editor. All elements which are utilised in the net are grouped by their category. Main categories are places, transitions and arcs. A click on a category selects all elements of the particular type in the net, whereas a double click expands a list that shows every member of the category in a tree view. Another click on a specic element in the tree opens its properties. These can be edited by double clicking on their values.

The following options can be modied through the property tree:

• Place
  • Caption of the label
  • Size
  • Position on x-axis
  • Position on y-axis
  • Capacity (only displayed for P/T-Nets): The maximum number of tokens that
    can reside in the place. A capacity of means unboundedness, i.e. the number
    and kind of tokens is not restricted.
• Transition
  • Caption of the label
  • Width
  • Height
  • Position on x-axis
  • Position on y-axis
• Arc
  • Weight (only displayed for P/T-Nets): Number of tokens to be consumed/produced over the arc

All settings of a net can be changed during “edit-mode”. Moreover, there exists a “play-mode” for executing nets, which is going to be explained in the next section.