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

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