Getting Started

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:

:books:language :books:modeling

The User Interface of CPN Tools
First steps

Graphical User Interface

New in CPN Tools 4
This is a list of off-site tutorials on getting started with new features in CPN Tools 4. The videos on the right demonstrate various functions of CPN Tools as they were developed.



State-space Analysis

Sample CPN Models