Analysing a CP-net
Syntax check, simulation, state space analysis How-to