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

Group tab marking menus

Group tab marking menus

Clone Element Clone Group Create global group Delete Group Move to subpage New Group New group with all

Read Me Leave comment