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

• Distributed database example
• Resource allocation example
• Ring protocol example
• Telephone example
• Timed resource allocation example

Simple protocols

• Hierarchical protocol example
• Protocol with timer
• Simple protocol example
• Timed protocol example

State space analysis examples

• Dining philosophers example
• Distributed database example
• Resource allocation example
• Simple protocol example

Monitoring examples

• Monitored dining philosophers example
• Queue system configuration example
• Queue system example

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

• Dynamic MANET On-demand Routing Protocol
• Edge Router Discovery Protocol

Contributed by John C. Sloan

• Ensemble Coordination for Discrete Event Control

Contributed by Dmitry A. Zaitsev

• Bluetooth Network
• E6 Network Dynamic Routing
• Ethernet Network
• Ethernet Network Parametric Models
• IP Network
• MPLS Network
• Provider Backbone Bridge