Place inscriptions
CPN ML


Related pages

Inscriptions, Add/edit inscriptions, Naming policy

Place Inscriptions

There are three inscriptions that may be associated with a place. Two are optional and one is required:

Place inscriptions are created when you add/edit inscriptions for places.

Colour set inscription

The colour set inscription determines the colour set, i.e. the type, of all the tokens that can be put in the place.

Before a colour set inscription has been added, the default text for the inscription is TYPE.

Default colour set inscription

The colour set inscription contains the identifier of one of the declared colour sets.

Examples of colour set inscriptions

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:

Example of the autocompletion feature

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.

Initial marking inscription

The initial marking inscription is a multi-set 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 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.

Examples of initial marking inscriptions

Optional time delays

If the colour set of the place is one of the timed colour sets, then the initial marking can specify time delays. If the initial marking specifies time delays, then the initial marking inscription is a timed multi-set 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: In order to enter the state space tool, place names must fulfill certain requirements.