Remove page
Remove place
Remove transition
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
Available through:
You must be logged in to post a comment.