Auxiliary tools

Auxiliary tools

The Auxiliary tools are used when creating auxiliary elements. These elements do not have any semantic meaning, but can ease the readability of the net. You can apply the style tools to them, make them snap to magnetic guidelines and put them in groups, just as the usual net elements.  

Read Me Leave comment

Create tools

Create tools

The create tools are used when creating and working with the basic net structure. It contains tools for creating, deleting, and cloning the basic net elements, i.e. places, transitions, and arcs. It also contains the guideline tools for easy aligning of net elements.  

Read Me Leave comment

Hierarchy tools

Hierarchy tools

The hierarchy tools are used to edit the hierarchical structure of the net. The palette contains tools for both bottom-up and top-down structuring of the net. See more about hierarchical nets on the Working with hierarchical nets page.  

Read Me Leave comment

Net tools

Net tools

The net tools are used for loading and saving nets, and for adding new pages to existing nets.  

Read Me Leave comment

Monitoring tools

Monitoring tools

The Monitoring tools are used to create monitors:  

Read Me Leave comment

Simulation tools

Simulation tools

The simulation tools are used for simulating the net. The palette also contains the Evaluate ML tool for evaluating inscriptions and auxiliary texts.  

Read Me Leave comment

State space tools

State space tools

The state space tools are used, e.g., to calculate state spaces, to transfer states between the simulator and the state space tool, and to generate state space reports.  

Read Me Leave comment

Style tools

Style tools

The style tools are used for underlining important net structures with colors, line thickness, etc. to improve readability. None of these tools have any semantic effect on the net. Most of these tools change the style of all elements in a group or on a magnetic guideline when applied to one element in the group or to the guideline. See more on the groups and […]

Read Me Leave comment

View tools

View tools

The View tools are used to change the view of a page and its elements through grouping and zooming. See Groups for more information about groups.  

Read Me Leave comment