Example Nets
CPN Tools help
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
Resource Allocation
Timed Resource Allocation
Distributed Database
Ring Protocol
Telephones
Simple Protocols
Simple Protocol
Timed Protocol
Hierarchical Protocol
Protocol With Timer
State Space Analysis Examples
Resource Allocation.
Distributed Database.
Dining Philosophers.
Simple Protocol.
Monitoring Examples
Dining Philosophers Monitored
Queue System