Analysing a CP-net
CPN Tools help
Syntax check, simulation, state space analysis
How-to
Syntax Checking
Simulating Nets
Performance Analysis
Use State Space Tool
Temporal Logic for State Spaces