* Markov and Markov Reward Model Examples.
* For a basic understanding of Markov models see
* Chapter 8 of Trivedi's text.
* For a basic understanding of Markov Reward Models
* see Trivedi, et al; Performance evaluation, 1992.
* and Muppala et al; IEEE Computer, May 1991.

* Example 1:
echo Example 1:
* An example of an irreducible 2-state 
* Continuous Time Markov Chain (CTMC)
* Note that labels on the arc of a CTMC are rates, not probabilities;
* hence they need not be <= 1; they must be > 0.
* 
markov m1
0 1 1
1 0 2
end
end

* We ask for the steady-state probs of being in each state.
expr prob (m1,0), prob (m1,1)

end


