Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group
Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group
Clone Transition Delete Transition New Arc Replace by subpage
The tool cell marking menus consist of the following entries: Close options Help Set options
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
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