File formats for CPN Tools


CPN Tools uses only text-based file formats.

CP-nets

The file format for CPN Tools is XML-based. In other words, all files that can be loaded using the Load net tool, and all files that are saved using the Save net and Save Net As tools, are XML-based.

The XML format is described using a DTD, which is available from http://www.daimi.au.dk/~cpntools/bin/DTD/5/cpn.dtd

Simulation reports

Please see the page about simulation reports for a description of the text-based file format for simulation reports.

State space reports

Please see the page about saving a state space report for an example of the text-based state space reports.

Performance reports

Please see the page about performance output for examples of performance-related output files.