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.


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.