Add/edit declarations

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

Read Me Leave comment

Add/edit inscriptions

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

Read Me Leave comment

Cloning

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

Read Me Leave comment

Deep cloning

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

Read Me Leave comment

Edit text

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

Read Me Leave comment

Adding places, transitions, and arcs

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

Read Me Leave comment

Errors in net structure

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

Read Me Leave comment

Naming policy

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

Read Me Leave comment