Remove
Removes one or more nodes from a monitor:
- Apply the tool to a page name, place name, or transition name under the "Nodes ordered by pages" index entry for a monitor
- The corresponding places and transitions are removed from the monitor, and the syntax of the monitor is rechecked
Available through:
Marking menu tools: Monitored page marking menu, Monitored node marking menu