Colored Petri nets and CPN Tools



 Standard ML

CPN Tools uses the CPN ML language to specify declarations and net inscriptions. This language is an extension of the functional programming language Standard ML, developed at Edinburgh University.


Help page on using CPN ML and Standard ML in CPN Tools

Standard ML bibliography

  • R. Milner, M. Tofte, R. Harper, and D. MacQueen. The definition of Standard ML. MIT Press, Cambridge, MA, 1997.
  • J.D. Ullman. Elements of ML Programming, ML97 Edition. 2nd ed. Prentice Hall, Upper Saddle River, NJ, 1998
  • L.C. Paulson. ML for the Working Programmer. 2nd ed. Cambridge University Press, Cambridge, 2010.

There are also online references for Standard ML:

Petri nets

The Peti nets world provides much material around theory and application of Petri nets and related topics.

Graphical User Interface
Timed Nets

You must be logged in to post a comment.