// markov modulated queue
// a sistem with 3 power state: high, low, stop
// service rates for high and low
m_h = 10;
m_l = 3;

// transition rate between high and low
r_hl = 1;
// transition rate between high and stop
r_hs = 0.05;
// transition rate between low and high
r_lh = 0.8;
// transition rate between low and stop
r_ls = 0.1;
// transition rate between stop and high
r_sh = 0.8;

// arrival rate
l = 2.0;

// modulating process
MHigh = (s,m_h).MHigh + 
		(t_hl,r_hl).MLow +
		(t_hs,r_hs).MStop;

MLow  = (s,m_l).MLow  +
		(t_lh,r_lh).MHigh +
		(t_ls,r_ls).MStop;

MStop = (t_sh,r_sh).MHigh;

S = (s,T).S;

// arrival process
A = (a,l).A;

// queue, c = 10
Q00 = (a,T).Q01;
Q01 = (a,T).Q02 + (s,T).Q00;
Q02 = (a,T).Q03 + (s,T).Q01;
Q03 = (a,T).Q04 + (s,T).Q02;
Q04 = (a,T).Q05 + (s,T).Q03;
Q05 = (a,T).Q06 + (s,T).Q04;
Q06 = (a,T).Q07 + (s,T).Q05;
Q07 = (a,T).Q08 + (s,T).Q06;
Q08 = (a,T).Q09 + (s,T).Q07;
Q09 = (a,T).Q10 + (s,T).Q08;
Q10 =             (s,T).Q09; // blocking behaviour

A <a> Q00 <s> S <s> MHigh