CPN ML
Language for declarations and net inscriptions CPN ML


CPN Tools uses the CPN ML language for declarations and net inscriptions.

Declarations

Multi-sets

Inscriptions and Expressions

Run-time Environment

Predefined constants, functions, and operators.

All of the functions described on the pages above can be used directly in CPN Tools without having to import any files.

State Space Functions

Monitoring Functions

Performance Analysis Functions