Bug Reports

Bug Reports

Welcome to the CPN Tools bug reporting pages! We would love to hear if you find any bugs in CPN Tools. Note this is not for requests for new features; for those go here. When submitting a bug report, make sure to include all of these. If you exclude any, we have to decline report! which version of CPN Tools and Windows do you use? […]

Read Me Leave comment

Feature Requests

Feature Requests

Welcome to the CPN Tools feedback pages! We would love to hear which features you would like to see incorporated into CPN Tools the most. Please be as specific as possible – feel free to add mock-ups, use cases, etc. Don’t just write “this or that doesn’t work” or “make it faster.” Also, this is not for bug reports. For this, go here. Below, you […]

Read Me Leave comment

Modeling Business Processes

Modeling Business Processes

A Petri Net-Oriented Approach  About the book This comprehensive introduction to modeling business-information systems focuses on business processes. It describes and demonstrates the formal modeling of processes in terms of Petri nets, using a well-established theory for capturing and analyzing models with concurrency. The precise semantics of this formal method offers a distinct advantage for modeling processes over the industrial modeling languages found in other […]

Read Me Leave comment

Knowledge Base

Knowledge Base

Knowledge Base Articles Topics  

Read Me Leave comment

Change logs

Change logs

Here you can see what is new in various versions of CPN Tools and Access/CPN and which versions of Access/CPN works with which versions of CPN Tools. The list is not necessarily comprehensive, but lists the major changes. The list may also reflect features in versions of CPN Tools that have not yet been publicly released, and as such reflects changes that are currently in […]

Read Me Leave comment

Access/CPN

Access/CPN

You can use Access/CPN with or without Eclipse. We strongly recommend using Eclipse. Get binary releases from the CPN Tools Download page. The source is available from https://svn.win.tue.nl/repos/cpntools/AccessCPN/trunk/ (Note that you get a security error when clicking on the link; this is because the Subversion server uses encryption with a self-signed certificate.) Plug-in Overview You will not need all plug-ins for normal operation. Here is […]

Read Me Leave comment

Contact

Contact

For any support on CPN Tools, please refer to the support page. For other issues, contact: Michael Westergaard and H.M.W. (Eric) Verbeek Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven, The Netherlands  

Read Me Leave comment

FAQ

FAQ

Frequently Asked Questions about CPN Tools Installing CPN Tools How do I download CPN Tools? Manuals Editing CP-nets Analyzing CP-nets Crashes and problems starting Technical support If you have not found an answer to your question here, you can contact us.

Read Me Leave comment

State space analysis

State space analysis

Verification  

Read Me Leave comment

Hierarchy

Hierarchy

Creating large, intricate nets can be a cumbersome task. But similar to modular programming, the construction of CP-nets can be broken into smaller pieces by utilizing the facilities within CPN Tools for creating substitution transitions. Conceptually, nets with substitution transitions are nets with multiple layers of detail – you can have a somewhat simplified net that gives a broad overview of the system you are […]

Read Me Leave comment