From 752522aa9f7bbc6f3da733111ecd4ebc2cae2f4f Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Mon, 2 Dec 2019 15:11:15 +0100
Subject: [PATCH] new example on parametric models

---
 doc/source/doc/parametric_models.rst | 7 +++++++
 1 file changed, 7 insertions(+)

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 <https://github.com/moves-rwth/stormpy/blob/master/examples//parametric_models/03-parametric-models.py>`_
+
+This example shows three implementations to obtain the number of transitions with probability one in a parametric model.
+
+