Once elements have been added to a net they can be adjusted. For example it is possible to change the font of an element, by selecting it and then choose the appropriate item from the toolbar. Subsequently it is necessary to enable the provided options.
The fi ll colour and style as well as the border of an element can also be modifi ed by selecting the associated icon from the toolbar.
The size of a transition or place can be modifi ed if it is too small or too big. Therefore the object fi rstly needs to be selected and secondly a node on the edge of it has to be pulled. The position of one or more elements can be changed by selecting the targets and then drag and drop them to another location on the editor.
Arcs can be bent by double clicking on them. A node will appear, which can be utilised to alter the angle. This process can be repeated in order to generate more nodes.
There are also four options to change the layout of an arbitrary net
- Horizontal hierarchical layout
- Vertical hierarchical layout
- Organic layout
- Circle layout
Their purpose is to represent any net in a consistent way. The di fferent layouts can be selected by right clicking in a free space of the editor. A list pops up which shows all available layouts.
