From c6521221bd05fc2bb8abed1f0e183c5042f122ce Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 18 Mar 2015 19:49:37 +0100
Subject: [PATCH] Added tiny text example for ctmc mc.

Former-commit-id: 498bbec1f2b7190aab287c23a5d2541f8526829c
---
 examples/ctmc/tiny/tiny.sm | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 examples/ctmc/tiny/tiny.sm

diff --git a/examples/ctmc/tiny/tiny.sm b/examples/ctmc/tiny/tiny.sm
new file mode 100644
index 000000000..70dde75b8
--- /dev/null
+++ b/examples/ctmc/tiny/tiny.sm
@@ -0,0 +1,11 @@
+ctmc
+
+module one
+  s : [0 .. 3] init 1;
+  
+  [] s<3 -> 3/2 : (s'=s+1);
+  [] s>0 -> 3 : (s'=s-1);
+endmodule
+
+label "empty" = s=0;
+label "full" = s=3;
\ No newline at end of file