Design/CPN

Design/CPN has been replaced by CPN Tools and it is no longer possible to download or to get support or licenses for Design/CPN. To obtain a license for CPN Tools please see the CPN Tools home page.

IMPORTANT: The Occurrence Graph Tool has stopped working since January 10, 2004. Please read the bug report, [040113b0095], for obtaining a workaround.

Welcome to the home page of the Design/CPN tool maintained by the CPN group at the University of Aarhus, Denmark.

• What is the Design/CPN WWW pages?

General Information

• What is Design/CPN?
• Industrial Use of Design/CPN
• History of Design/CPN
• What is a Coloured Petri Net?
• Standard ML

More Detailed Information

• Overview of Design/CPN * Overhead Slides
• Hardware and Software Requirements
• Much Faster Simulation Engine
• What is New in Version 4.0?
• What is New in Version 3.1?
• What is New in Version 3.0?
• User Survey 1998

Technical Information

• Online Tutorial and Manuals * Version 4.x Manual Addendum
• Tips'n'Tricks * FAQ * Common Problems
• Postings to mailing list (The mailing list has been discontinued)
• Known Bugs in Design/CPN
• Known Errors in Design/CPN Manuals
• Proposals From Users

Examples and Libraries

• Examples of Design/CPN Models
• Design/CPN Libraries
• Industrial Use of Design/CPN

Links to Other Petri Net Pages

• International Petri Net Web
• CPN Group at University of Aarhus
• Miscellaneous

How to Get in Contact With

• Organisations with Design/CPN License
• Members of the CPN Group at University of Aarhus
• Design/CPN Technical Support