diff --git a/doc/source/doc/parametric_models.rst b/doc/source/doc/parametric_models.rst index d9c7d11..870284c 100644 --- a/doc/source/doc/parametric_models.rst +++ b/doc/source/doc/parametric_models.rst @@ -58,3 +58,10 @@ We collect the constraints ensuring that underlying model is well-formed and the >>> for formula in collector.graph_preserving_constraints: ... print(formula) +Collecting information about the parametric models +================================================== +.. seealso:: `03-parametric-models.py `_ + +This example shows three implementations to obtain the number of transitions with probability one in a parametric model. + +