Please note that CPN Tools only runs on PC's with hardware support for OpenGL. For more information see the hardware requirements.

The latest externally released version of CPN Tools is version 2.2.0.

If you have never tried CPN Tools before, we recommend that you start by reading the Getting started with CPN Tools introduction after succesful installation.

General Information

• What is CPN Tools?
• Releases
• What is Coloured Petri Nets?
• Industrial use of Coloured Petri Nets
• Total number of CPN Tools licensees
• Announcements

Documents and Manuals

• Online version of Help pages
  • Getting started with CPN Tools
  • Using CPN ML and Standard ML in CPN Tools
  • Examples of CPN models
• FAQ
• Publications
  • Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems
  • CPN Tools for Coloured Petri Nets
  • CPN Tools Interface
• General information about Standard ML and CPN ML

Download and Installation

• Apply for CPN Tools license
• Download CPN Tools
• Forgot your password?
• What is new in CPN Tools?
• Hardware requirements

Reporting Bugs

• Report bug
• Known bugs and bugfixes since latest release
• Upcoming features/fixes (what's new in latest internal version)
• Search for a bug (check if a bug you have found has already been reported or fixed)
• Beta testing 2.4/3.0

Support and Contacts

• Forgot your password?
• Technical support
• FAQ
• Mailing list
• Members of the CPN Group at University of Aarhus
• Organisations with CPN Tools License

Links to Other Petri Net Pages

• International Petri Net Web
• CPN Group at University of Aarhus
• Design/CPN