You can follow a getting started with CPN-ML guide to get some pointers into the documentation.

Declarations

• Colour sets - simple, compound and timed colour sets, colour set functions, size and complexity of colour sets.
• Variables
• Functions - Functions, local declarations (let-in-end), control structures (if-then-else, case)
• Values (constants)
• Identifiers
• Reserved identifiers
• Loading declarations from files - the use declaration
• Example declarations

Multi-sets

• Multi-sets
• Timed multi-sets

Inscriptions and Expressions

• Inscriptions

Run-time Environment

• Standard ML Basis Library (online)
• Simulator functions
• Output management functions
• Random distribution functions
• Comms/CPN functions

State Space Functions

• State Space Functions

Monitoring Functions

• Monitoring Functions
  • Breakpoint monitoring functions
  • Write-in-file monitoring functions
  • Data collector monitoring functions
  • User-defined monitoring functions

Performance Analysis Functions

• Data collector functions
• Performance options functions