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 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.






Editing a CPN

Common constructs

Create, load, and save

Graphical layout

Editing the net structure


State space analysis



Sample CPN models


You must be logged in to post a comment.