Inscriptions in comments

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 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