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

Transition marking menus

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

Read Me Leave comment