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.
Arc marking menu
Change Direction Clone Arc Clone Elements Delete Arc Delete BendPoint Delete elements 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
State space node marking menu
Display Predecessors Display Successors Delete elements Delete SSNode Toggle Group
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
