Inscriptions
CPN ML


Inscriptions are associated with CPN net components, i.e. places, arcs, and transitions. Some inscriptions are CPN ML constructs that affect the behaviour of a net, while other inscriptions do not affect the behaviour of nets. Inscriptions vary in their syntactic requirements depending on the type of inscriptions.

For more information see:

Inscriptions in Comments

In CPN ML, a comment begins with (* and ends with *), and all text within a comment will not affect the behaviour of a net. Comments can be added to inscriptions for different purposes. In the example on the left, a comment has been added to a guard to describe the purpose of the guard. In the example on the right, a comment is used to remove a guard without deleting the inscription.

Comment in an inscription Using a comment to remove an inscription

In some cases, errors will occur when an entire inscription consists of a comment.

Error for inscription in comment

In such cases, the inscription will have to be changed so that it contains syntactically correct text that is not in the comment.

Syntactically correct inscription