This is an old revision of the document!
Reachability graph generation in CPN Tools
Here is a description of reachability graphs generation for CP-nets modelled in CPN Tools.
Steps required to generate reachability graph of a CP-net in CPN Tools
- Calculate State Space tool has some settings which can limit the maximum number of nodes (nodestop) or arcs (arcstop) of the generated reachability graph. Setting this limit can be a good idea due to the fact that many CP-net models have enormous or even infinite reachability graphs. These options are available in the context menu of the Calculate State Space tool
- (Optionally) create a new page in which reachability graph will be drawn.
- In this step Display partial state space tool will be used. Before use, make sure that its option called Nodes in the list is UNCHECKED (by default it is checked).