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 transition marking menu

Monitored place marking menu

Monitored place marking menu

Monitored nodes marking menu
Monitor name marking menu

You must be logged in to post a comment.