cpntools-help
CPN Tools Help Pages


CPN Tools for Coloured Petri Nets

This is the main page for the CPN Tools help pages.

You are currently viewing the offline version of the help. The online version is available from http://wiki.daimi.au.dk/cpntools-help/. There are likely to be inconsistencies between the offline and online versions, because the online version is updated regularly.

CPN Tools home page: http://www.daimi.au.dk/CPNTools/.

If you do not find an answer to your question, look at the CPN Tools support pages for information on how to obtain support.

Help Topics

Introduction to CPN Tools

Tools (within CPN Tools)

Editing a CP-net

Monitoring a CP-net

Analysing a CP-net

CPN ML (inscription language)

Example Nets

Libraries

Errors and Bugs

Installation

Miscellaneous

Support

We appreciate your feedback on this tool. Please look at the support pages for information on how to get in contact with us.