Example nets

All the sample nets (except for the industrial cases at the bottom) can be found in your installation directory under “Samples” (default for Windows: c:\Program Files\CPN Tools\Samples).

Introductory examples

Simple protocols

State space analysis examples

Monitoring examples

Real-life examples

If you use either of the below models for research, please refer to the papers listed for each model. We list models without going thru them in too much detail, so listing does not imply that we endorse them or any papers listed, only that we provide them as inspiration.

Contributed by CPN Group, Aarhus University
Contributed by John C. Sloan
Contributed by Dmitry A. Zaitsev