*   Example 6:
echo Example 6:
*   This example is an availability model from
*   the paper by Sahner and Trivedi; IEEE-Trans. on Soft. Eng.; Oct. 1987.
*   This is Example 5 on pp. 1112-1113

bind
lambda1  .001
lambda2  .01
lambda3  .01
lambda4  .01
lambda5  .005
lambda6  .005
lambda7  .01
lambda8  .01
lambda9  .01
lambda10  .01
lambda11  .01

mu1       1 / 5
mu2       1 / 7.5
mu3       1 / 7.5
mu4       1 / 7.5
mu5       1 / 6
mu6       1 / 6
mu7       1 / 7.5
mu8       1 / 7.5
mu9       1 / 7.5
mu10      1 / 5
mu11      1 / 5
end

markov avail(lambda, mu)
up down lambda
down up mu
end

poly Ua(lambda, mu) gen\
   prob (avail, down;lambda, mu), 0, 0

block  p3a (k1,u1,k2,u2,k3,u3)
comp A Ua(k1,u1)
comp B Ua(k2,u2)
comp C Ua(k3,u3)
parallel TOP A B C
end

block maina
comp   1      Ua(lambda1, mu1)
comp   2-3-4  cdf(p3a;lambda2,mu2,lambda3,mu3,lambda4,mu4)
comp   5      Ua(lambda5, mu5)
comp   6      Ua(lambda6, mu6)
parallel     56     5  6
series  A      1 2-3-4 56
comp   7-8-9  cdf(p3a;lambda7,mu7,lambda8,mu8,lambda9,mu9)
comp   10     Ua(lambda10, mu10)
comp   11     Ua(lambda11, mu11)
series  B      7-8-9 10 11
parallel     TOP    A B
end

cdf (maina)
end

