State space node marking menu

State space node marking menu

Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group

Read Me Leave comment

Subpage marking menu

Subpage marking menu

Delete Redo Show Subpage Undo

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

Tool cell marking menus

Tool cell marking menus

The tool cell marking menus consist of the following entries: Close options Help Set options

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

Workspace marking menu

Workspace marking menu

The Workspace marking menu appears when you bring up a marking menu on the grey area to the right, or in the index: Close all nets Drop Tool Load net New net Save all nets

Read Me Leave comment