CPN ML
CPN Tools help
Language for declarations and net inscriptions
CPN ML
CPN Tools uses the CPN ML language for declarations and net inscriptions.
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
Predefined constants, functions, and operators.
Standard ML Basis Library
(online)
Simulator functions
Output management functions
Random distribution functions
Comms/CPN functions
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
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