# $Id: tiny.dtmc 517 2007-01-22 17:40:05Z asminer $

# 
# These lines are "comments"
#
# A 3-state DTMC:
#
#          1/2
#        <------       1/2
#     0  ------>  1  ------>  2
#        <------------------
#
# P =   [  0   1   0  ]
#       [ 1/2  0  1/2 ]
#       [  1   0   0  ]
#
#     

DTMC
STATES 3 # States are 0,1,2
INIT
  0 : 1
ARCS 4
  # From state 0, or row 0 of P
  0 : 1 : 1.0 
  # From state 1, or row 1 of P
  1 : 0 : 0.5   
  1 : 2 : 0.5
  # From state 2, or row 2 of P
  2 : 0 : 1.0
END

TIME 0
TIME 1
TIME 3
TIME 5