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

State space node marking menu

State space node marking menu

Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group

Read Me Leave comment

State space arc marking menus

State space arc marking menus

Delete Element Delete SSArcs Toggle Group

Read Me Leave comment

Place marking menus

Place marking menus

consists of the following entries: Add surrounding transitions Assign to socket Clone Elements Clone Place Delete elements Delete Place New Arc Show Marking Toggle Group

Read Me Leave comment

Arc marking menu

Arc marking menu

Change Direction Clone Arc Clone Elements Delete Arc Delete BendPoint Delete elements Toggle Group

Read Me Leave comment