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 pagesindex entry for a monitor
- The corresponding places and transitions are removed from the monitor, and the syntax of the monitor is rechecked
You must be logged in to post a comment.