Monitored node marking menu
Marking menu tools


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:

Monitored transition marking menu Monitored place marking menu

Add surrounding nodes

Remove