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

 

You must be logged in to post a comment.