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
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
Tool cell marking menus
The tool cell marking menus consist of the following entries: Close options Help Set options
State space node marking menu
Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group
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
