Place marking menus

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

Read Me Leave comment

Monitored node marking menus

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

Read Me Leave comment