Getting started

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 […]

Read Me Leave comment

Modeling With Colored Petri Nets

Modeling With Colored Petri Nets

In all of the following and on all of these pages, we assume that you are familiar with colored 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:

Read Me Leave comment

The User Interface of CPN Tools

The User Interface of CPN Tools

First steps Graphical User Interface Index Marking menus Other tools Palette tools  

Read Me Leave comment

New in CPN Tools 4

New in CPN Tools 4

This is a list of off-site tutorials on getting started with new features in CPN Tools 4. Declare constraints Place-Transition Petri Nets New Types (IntInf, real, time) Minor features Model statistics Simulation stop criteria Simplified state-space analysis Message Sequence Charts Time Intervals and Time Reduction Extensions: Basics Getting Started and Basic Abstractions Graphics and Callbacks    

Read Me Leave comment

Simulation

Simulation

Simulation

Read Me Leave comment

Editing

Editing

Editing a CPN Common constructs Create, load, and save Graphical layout Editing the net structure Miscellaneous Exceptions Graphical feedback Long click Syntax checking

Read Me Leave comment

State-space Analysis

State-space Analysis

Verification  

Read Me Leave comment

Sample CPN Models

Sample CPN Models

 

Read Me Leave comment