modified the simple example a little

Former-commit-id: 3db0fddaa7

examples/multi-objective/mdp/simple/simple.nm

@@ -1,5 +1,3 @@
-// sum of two dice as the asynchronous parallel composition of
-// two copies of Knuth's model of a fair die using only fair coins
  
 mdp
 
@@ -10,6 +8,7 @@ module simple
 
 	[A] s=0 -> 0.2 : (s'=1) + 0.8 : (s'=0);
 	[B] s=0 -> 1 : (s'=2);
+	[C] s=0 -> 1 : (s'=0);
 	[]  s>0 -> 1 : (s'=s);
 endmodule
 

examples/multi-objective/mdp/simple/simple.pctl

@@ -1,2 +1,2 @@
-multi(P>0.4 [ F "a"], P>0.3 [ F "b"] )
+multi(P<0.4 [ F "a"], P<0.3 [ F "b"] )
 //multi(Pmin=? [ F<=10 "a"], R<0.3 [ F "b" | "a"] )