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.


Describing a marking as a multi-set

Inscriptions and expressions


You must be logged in to post a comment.