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:

The User Interface of CPN Tools
First steps Graphical User Interface Index Marking menus Other tools Palette tools

Simulation
Simulation Change marking during simulation Errors during simulation Limitations Manually choose bindings Run a Simulation Simulation feedback Simulation replications Simulation report Simulation stop criteria Simulator functions

Editing

State-space Analysis
Verification Calculating the state space Attributes and options in state space tool Draw state spaces with CPN Tools Draw State Spaces with Graphviz Enter the state space tool Make state space queries Nondeterministic nets Saving a standard state space report State space functions Limitations Temporal logic for state spaces States and state space nodes

Sample CPN Models