During the use of CPN Tools, the undoable commands, i.e. the commands that can be undone, are added to the History entry in the Index. For more information about undoable commands, see the History page. To Undo one or more undoable commands: Select the Undo entry in one of the marking menus The effect of applying the tool depends on where the tool is applied: […]
Toggle descriptor
To toggle a descriptor: Apply the tool to a descriptor for a state space node or a state space arc or to the small triangle in a state space node This tool is available through:
Show superpage
Show the superpage of the page Apply the tool to a port-type tag, which is a hierarchy tag, associated with a port place The superpage for the current page will then be shown. If the superpage is not already open, then it will be opened in the current binder. If the superpage is open, then it will be brought to the front of the binder […]
Show subpage
Show the subpage associated with a substitution transition. Apply the tool to the subpage tag, which is a hierarchy tag, associated with the substitution transition The subpage associated with the substitution will then be shown. If the subpage is not open, then it will be opened in the same binder in which the tool was applied. If the subpage is open, then it will be […]
Show marking
When applied to a place this tool shows the marking, even if it is empty. This is used for changing the marking during a simulation. This tools is available through:
Set options
If the instrument in the tool cell has options, Set options can be applied to view and change these options. The result when applied to the print tool is This tool is available through:
Set default
Choosing this option will reset the value of the index entry in question. This tool is available through:
Save all nets
Saves all nets. If a net is unnamed you will be prompted for a name. If more nets are unnamed you will be prompted consecutively according to their order in the index. This tool is available through:
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:
