View tools

View tools

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.  

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

Inscription marking menus

Inscription marking menus

Clone Inscription Delete Inscription Evaluate ML Toggle Group

Read Me Leave comment

Aux marking menu

Aux marking menu

Clone Aux Delete Aux Evaluate ML 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