Did you encounter a problem when using CPN Tools or do you want to report a bug? The following Petri net specifies what and how to do. To actually execute a suggested task, you can click on the respective transition. If you prefer a textual description, please scroll past the figure. NOTE: We no longer provide support for any version of CPN Tools prior to […]
Modeling with Coloured Petri Nets In all of the following and on all of these pages, we assume that you are familiar with coloured Petri nets and have at least some idea of constructing modules using the formalism. You can learn more about the modeling and the formalism in one or both of these books: The User Interface of CPN Tools First steps Graphical User […]
Getting started GUI Tool Palettes Marking Menus Tasks Editing a CPN Common Constructs Simulation Verification/State space analysis Performance Analysis/Monitoring Concepts Timed Nets Hierarchy Colored nets Declarations Inscriptions and expressions External Communication and Libraries FAQ Publications Books
CPN Tools is free software; see here for licensing information. It should be straight-forward to install CPN Tools; otherwise, read the help pages.