In CPN ML, a comment begins with (* and ends with *), and all text within a comment will not affect the behavior 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

Comment in an inscription

Using a comment to remove 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

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

Syntactically correct inscription

 

Place inscriptions
Guards

You must be logged in to post a comment.