A long click is used for moving elements while holding a tool in the hand or for adding an inscription to an element while holding a tool in the hand. A long click is performed by pressing down the mouse button and holding it down for a short while (approx. 0.5 second). The cursor changes to show that move is active. When you release the […]
Naming policy
Places, transitions, and pages in CP-nets have names. These names are (possibly empty) strings of characters. Names are simply labels that are used to identify objects. Names do not influence the semantics of CP-nets, and, in general, names of these kinds of objects do not have to be unique. However when using the state space tool, there are a number of syntax restrictions for names. […]
Errors in net structure
Errors in inscriptions If there is an error in one of the inscriptions then a red aura will be added to the parent object and a speech bubble will show an error message for the inscription. Elements connected to the element with the error, e.g. transitions connected to a place with errors, are not checked until the error is fixed. Syntax error in port socket […]
Adding places, transitions, and arcs
On the pages in a net, you can create places, transitions and arcs using either marking menus or palettes. Start by dragging a page out from the index. Marking Menus To create a place or a transition, bring up the Page marking menu by pressing and holding down the right mouse button on the page. See the marking menus page if you are unsure about […]
Edit text
Text editing is used to change inscriptions, declarations, page names, net names, group names, options, tool options, etc. Enter text-edit mode To enter text edit mode, simply click on the text. If you have a tool in the hand, use the long click. A reddish color indicates that all text is selected. Type to replace the selected text. After clicking on an empty text, e.g. […]
Deep cloning
CPN Tools does not natively support cloning a substitution transitions, or pages or group containing substitution transitions, with all its subpages. You will only get new instances of the subpage represented by any substitution transition. This can be annoying when editing nets where subpages only differ a little bit. This is a guide to work around this limitation. The trick Clone the substitution transitions to […]
Cloning
Cloning allows parts of the structure of a net to be reused, either elsewhere in the net or in other nets. Cloning individual elements Cloning an element of a CPN – for exampole, a place – is designed to be similar in use to the Create tools. Once the element has been cloned, the tool in hand is similar to a create tool, except that […]
Add/edit inscriptions
Adding inscriptions To add an inscription, click on the place, transition, or arc where you want to add the inscription. This activates the text edit mode for the object you have clicked on. If you are holding a tool at hand, use a long click to activate the text edit mode and add the inscription. Immediately after creating a place, transition, or arc you are […]
Add/edit declarations
Declarations The declarations are located in the index under the Declarations entry under the net name. Clicking on the triangle next to the Declarations entry opens the declarations. Clicking on a triangle next to an individual declaration or clicking on the declaration text opens this declaration. Add a declaration To add a declaration, bring up the Declarations marking menu on the top declarations node or […]
Resize, pan, and zoom
Binders To move a binder, press and drag with one of the cursors in the striped area in the top or bottom of the page. To resize a binder , click and drag the lower right corner of the binder (the area with the small gray triangle). The position and size of the binder are saved when you save a model. Pages To pan the […]
