How-to
CPN Tools help
How-to
Introduction to CPN Tools
Getting started with CPN Tools
Close CPN Tools
Introduction to hierarchical nets
Introduction to timed CP-nets
Interaction Techniques
Index Entries
Graphical Feedback
Naming policy
Converting from Design/CPN
Editing a CP-net
Create, Load, and Save
Create a new net
Load a model
Save a model
Close a model
Net Structure
Adding places, transitions, and arcs
Add/edit inscriptions
Add/edit declarations
Edit text
Cloning
Deep cloning
Working with hierarchical nets
Substitution transitions
Bottom-up development
Top-down development
Fusion places
Removing hierarchical constructs
Create a timed CP-net
Graphical Layout
Edit the layout
Edit style attributes
Magnetic guidelines
Groups
Resize, pan and zoom
Move and pan, multiple views
Standard Constructions
Anti-places/limit places
Queues/stacks
Inhibitor arcs
Monitoring a CP-net
Introduction to monitors
Create monitors
Edit a monitor
Monitoring tools
Kinds of monitors
Breakpoint monitors
Write-in-file monitors
Data collector monitors
User-defined monitors
Monitor index entries
Monitor template code
Monitoring functions
Breakpoint monitoring functions
Write-in-file monitoring functions
Data collector monitoring functions
User-defined monitoring functions
Errors in monitors
Analysing a CP-net
Syntax checking
Simulating nets
Run a Simulation
Simulation Stop Criteria
Simulation Feedback
Change Marking During Simulation
Manually Choose Bindings
Simulation Report
Simulation Replications
Use state space tool
Enter the state space tool
Calculate a state space and SCC graph
Save a state space report
Draw state spaces
Make state space queries
Transfer states between simulator and state space tool
Change attributes and options in state space tool
Temporal Logic for State Spaces
Performance analysis
Introduction to Performance Analysis
Calculating Statistics
Data Collector Functions
Performance output
Performance options functions
Example Nets
Example nets
Miscellaneous
File formats for CPN Tools
Output management
Libraries
External Communication with Comms/CPN
Installation
Hardware requirements
Check for OpenGL support
License agreement
(
A4.pdf
,
letter.pdf
)
Install CPN Tools