A Java library to generate Coloured Petri Nets in CPN Tool's xml-based ".cpn" format.
Java library to generate CPN Tools file.