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.

 

 

Simulation

Simulation

Editing

Editing a CPN

Common constructs

Create, load, and save

Graphical layout

Editing the net structure

Miscellaneous

State space analysis

Verification

 

Sample CPN models

Downloads
Documentation

You must be logged in to post a comment.