Example Nets
This is a collection of descriptions of the sample nets distributed with CPN Tools Example Nets


All the sample nets 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