CPN Tools uses the CPN ML language for declarations and net inscriptions. CPN ML builds on top of Standard ML. Some pointers into the documentation of CPN ML and Standard ML can be found here. Declarations Color sets – simple, compound, and timed color sets, Color set functions, Size and complexity of color sets. Variables Functions – Functions, local declarations (let-in-end), control structures (if-then-else, case) […]
