Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Both sides next revision | ||
| pn2mc:cov_cpntools [2014/11/16 20:50] jbiernacki [Steps required to generate reachability graph of a CP-net in CPN Tools] | pn2mc:cov_cpntools [2021/09/23 08:51] (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== | + | ====== |
| Here is a description of reachability graphs generation for CP-nets modelled in CPN Tools. | Here is a description of reachability graphs generation for CP-nets modelled in CPN Tools. | ||