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
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
You must be logged in to post a comment.