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

Describing a marking as a multi-set

Inscriptions and expressions

 

Multisets
Installing CPN Tools

You must be logged in to post a comment.