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.
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.
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.
The net tools are used for loading and saving nets, and for adding new pages to existing nets.
The Monitoring tools are used to create monitors:
The simulation tools are used for simulating the net. The palette also contains the Evaluate ML tool for evaluating inscriptions and auxiliary texts.
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.
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 […]
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.