Remove page

Remove page

Remove place

Remove place

Remove transition

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 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:

Save all nets
Re-evaluate decl

You must be logged in to post a comment.