There are three inscriptions that may be associated with a place.
Two are optional and one is required:
- Color set inscription – required
- Initial marking inscription – optional
- Place name inscription – optional
Place inscriptions are created when you add/edit inscriptions for places.
Color set inscription
The color set inscription determines the color set, i.e. the type, of all the tokens that can be put in the place.
Before a color set inscription has been added, the default text for
the inscription is TYPE.
Default color set inscription
The color set inscription contains the identifier of one of the
declared color sets.
Examples of color set inscriptions
If the color set of a place has not been declared, an error message will appear near the place during syntax checking. Recall that to declare a color set, you must add/edit declarations.
When you enter text into color 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 overridden. An example:
Example of the auto-completion feature
The up and down arrow keys can be used to cycle through all color 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 color set names.
Initial marking inscription
The initial marking inscription is a multiset expression that specifies the initial tokens for a place. The initial marking inscription is optional.
Before an initial marking inscription has been added, the default text for the inscription is INITMARK.
Default initial marking inscription
The color set for the initial marking expression must match the color set of the place. When an initial marking is absent, it is equivalent to empty, i.e. the empty multiset.
Examples of initial marking inscriptions
Optional time delays
If the color set of the place is one of the timed color sets, then the initial marking can specify time delays. If the initial marking specifies time delays, then the initial marking inscription is a timed multiset expression.
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.
Initial marking time delays
Place name inscription
The place name inscription is an optional label that identifies the place, and it may contain any sequence of characters.
Note: To enter the state space tool, place names must fulfill certain requirements.
Reference variables
Neither color set inscriptions nor initial marking inscriptions may depend on reference variables.
It is possible to use an initialization transition to create pseudo-initial markings that depend on reference variables. For more information, see model parameters.
Related pages
Inscriptions and expressions, Add/edit inscriptions, Naming policy
You must be logged in to post a comment.