* Example 2:
echo  Example 2:
* A 3-state irreducible CTMC
markov m2
0 1 1
1 2 1
2 0 1
end
end

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

end
