# $Id: oz.dtmc 609 2007-03-15 17:07:17Z asminer $

#
# Land of Oz dtmc
#

DTMC
STATES 3
INIT
  1 : 1
ARCS 8
  0 : 0 : 0.5
  0 : 1 : 0.25
  0 : 2 : 0.25
  1 : 0 : 0.5
  1 : 2 : 0.5
  2 : 0 : 0.25
  2 : 1 : 0.25
  2 : 2 : 0.5
END

TIME 0
TIME 0
  init_prob_rain
    0 : 1
  init_prob_nice
    1 : 1
  init_prob_snow
    2 : 1
STEADY
  ss_prob_rain
    0 : 1
  ss_prob_nice
    1 : 1
  ss_prob_snow
    2 : 1
  ss_avg_temp
    0 : 50
    1 : 80
    2 : 25
ACCUMULATED    
  count_rainy
    0 : 1
REACHES 
    0 : 1.0