Place inscriptions

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