http://cpntools.org/ 2012-05-19T15:21:20+02:00 http://cpntools.org/ http://cpntools.org/lib/images/favicon.ico text/html 2010-11-11T15:26:17+02:00 http://cpntools.org/documentation/tasks/editing/structure/addedit_declarations?rev=1289485577&do=diff Declarations The declarations are located in the index under the Declarations entry under the net name. [Declarations in the index] 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. text/html 2010-11-11T15:34:53+02:00 http://cpntools.org/documentation/tasks/editing/structure/addedit_inscriptions?rev=1289486093&do=diff 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. [Active text edit on place] If you are holding a tool at hand, use a Long click to activate the text edit mode and add the inscription. text/html 2010-11-11T16:00:36+02:00 http://cpntools.org/documentation/tasks/editing/structure/cloning?rev=1289487636&do=diff 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 palette. Once the element has been cloned, the tool in hand is similar to a create tool, except that the attributes of the created element are the same as those of the one being cloned. In the case of arcs, the shape of the arc is determined when the c… text/html 2010-11-11T16:02:22+02:00 http://cpntools.org/documentation/tasks/editing/structure/deep_cloning?rev=1289487742&do=diff 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. text/html 2010-11-11T16:14:51+02:00 http://cpntools.org/documentation/tasks/editing/structure/edit_text?rev=1289488491&do=diff 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. text/html 2010-11-12T18:53:02+02:00 http://cpntools.org/documentation/tasks/editing/structure/edit_the_net?rev=1289584382&do=diff On the pages in a net, you can create places, transitions and arcs using either Marking menus or Palette tools. 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 how to work with marking menus. text/html 2010-11-11T18:01:08+02:00 http://cpntools.org/documentation/tasks/editing/structure/errors_in_net_structure?rev=1289494868&do=diff 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. [CP-net with error message] 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. text/html 2010-11-11T16:24:16+02:00 http://cpntools.org/documentation/tasks/editing/structure/naming_policy?rev=1289489056&do=diff 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. text/html 2010-11-09T16:49:06+02:00 http://cpntools.org/documentation/tasks/editing/structure/start?rev=1289317746&do=diff structure index