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

Transition marking menus

Transition marking menus

consist of the following entries: Add surrounding places Bind manually Clone Elements Clone Transition Delete elements Delete Transition Fire and show Fire Transition New Arc Toggle Group

Read Me Leave comment

Substitution transition marking menu

Substitution transition marking menu

Clone Transition Delete Transition New Arc Replace by subpage

Read Me Leave comment