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
Monitored node marking menus
The Monitored node marking menus are accessed by bringing up a marking menu on the name of a place or a transition under the Nodes ordered by place index entry for a monitor: Add surrounding places Add surrounding transitions Remove place Remove transition
