Undo tool

Undo tool

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: […]

Read Me Leave comment

Toggle descriptor

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:

Read Me Leave comment

Show superpage

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 […]

Read Me Leave comment

Show subpage

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 […]

Read Me Leave comment

Show marking

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:

Read Me Leave comment

Set options

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:

Read Me Leave comment

Set default

Set default

Choosing this option will reset the value of the index entry in question. This tool is available through:

Read Me Leave comment

Save all nets

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:

Read Me Leave comment

Remove

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:

Read Me Leave comment

Re-evaluate decl

Re-evaluate decl

Evaluates the declaration again.  

Read Me Leave comment