Place inscriptions | CPN Tools help |
CPN ML |
There are three inscriptions that may be associated with a place. Two are optional and one is required:
Before a colour set inscription has been added, the default text for
the inscription is TYPE
.
The colour set inscription contains the identifier of one of the declared colour sets.
If the colour set of a place has not been declared, an error message will appear near the place during syntax checking. Recall that to declare a colour set, you must add/edit declarations.
When you enter text into colour sets inscriptions, the inscription will be completed. This auto-completion feature highlights the portion of the text, which is not entered, so that it quickly can be overriden. An example:
The up and down arrow keys can be used to cycle through all colour set names that start with the text that has been entered. If no text has been entered, then the arrow keys can be used to cycle through all of the declared colour set names.
Before an initial marking inscription has been added, the default text for the inscription is INITMARK
.
The colour set for the initial marking expression must match the colour set of the place. When an initial marking is absent, it is equivalent to empty
, i.e. the empty multi-set.
An initial marking time delay is an expression of type integer that is appended to a multi-set expression with @+ as a separator. The syntax is init-mark-exp @+ time-delay
. A missing initial marking time delay is equivalent to a zero delay.
When the initial marking is generated, each timed token gets a time stamp which is equal to the start value of model time plus the corresponding initial marking delay.
Note: In order to enter the state space tool, place names must fulfill certain requirements.