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

Inscription marking menus

Inscription marking menus

Clone Inscription Delete Inscription Evaluate ML Toggle Group

Read Me Leave comment