The CPN ML identifiers are alphanumeric sequences of letters, digits, primes/apostrophes ('), and underscores (_) — starting with a letter.

They are used for:

  • Color sets
  • Record color set field labels
  • Value constructors
  • Variables
  • Operators and function symbols
  • Prefixes of place, transition, and page names when using the state space tool.


These identifiers are legal:

  • SmallOrder
  • e3'f4
  • big_bertha

These are illegal, because they do not begin with a letter:

  • 3e4f
  • _New_Id
Loading declarations from file
Functions, declarations, and control structures

You must be logged in to post a comment.