ANALYSIS OF GSPN MODELS - Modelling with Generalised Stochastic Petri Nets - page 139

Table 6.13: Non-zero entries of the transition probability matrix of the

REMC

Component Probability

Component Probability

u 0 1,2 (0, 2)

ν
(µ 1 +µ 2 +ν)

1.0

u 0 11,2 (18, 2)

u 0 2,3 (2, 4)

λ
(λ+µ 1 +µ 2 )

µ 1
(µ 1 +µ 2 +ν)

u 0 11,14 (18, 25)

µ 1
(λ+µ 1 +µ 2 )

u 0 2,4 (2, 5)

µ 2
(µ 1 +µ 2 +ν)

u 0 11,16 (18, 27)

µ 2
(λ+µ 1 +µ 2 )

u 0 2,5 (2, 6)

u 0 12,3 (19, 4)

θ
(µ 1 +µ 2 +θ)

µ 1
(µ 1 +µ 2 )

u 0 3,6 (4, 7)

µ 1
(µ 1 +µ 2 +θ)

u 0 12,15 (19, 26)

µ 2
(µ 2 +µ 2 )

u 0 3,7 (4, 8)

µ 2
(µ 1 +µ 2 +θ)

u 0 12,17 (19, 28)

u 0 4,6 (5, 7)

λ
(λ+µ 2 )

u 0 13,16 (20, 27)

α

αµ 2
(λ+µ 2 )

u 0 4,8 (5, 12)

u 0 13,17 (20, 28) β

u 0 14,4 (25, 5)

ν
(µ 2 +ν)

βµ 2
(λ+µ 2 )

u 0 4,9 (5, 13)

αµ 2
(µ 2 +ν)

u 0 14,18 (25, 33)

u 0 5,7 (6, 8)

λ
(λ+µ 1 )

βµ 2
(µ 2 +ν)

αµ 1
(λ+µ 1 )

u 0 14,19 (25, 34)

u 0 5,8 (6, 12)

u 0 15,6 (26, 7)

θ
(µ 2 +θ)

βµ 1
(λ+µ 1 )

u 0 5,9 (6, 13)

αµ 2
(µ 2 +θ)

u 0 15,19 (26, 34)

u 0 6,10 (7, 15)

µ 1
(µ 1 +µ 2 )

βµ 2
(µ 2 +θ)

αµ 2
(µ 1 +µ 2 )

u 0 15,20 (26, 37)

u 0 6,11 (7, 18)

u 0 16,5 (27, 6)

ν
(µ 1 +ν)

βµ 2
(µ 1 +µ 2 )

u 0 6,12 (7, 19)

u 0 16,18 (27, 33)

αµ 1
(µ 1 +ν)

αµ 1
(µ 1 +µ 2 )

u 0 7,11 (8, 18)

βµ 1
(µ 1 +ν)

u 0 16,19 (27, 34)

βµ 1
(µ 1 +µ 2 )

u 0 7,12 (8, 19)

u 0 17,7 (28, 8)

θ
(µ 1 +θ)

µ 2
(µ 1 +µ 2 )

u 0 7,13 (8, 20)

αµ 1
(µ 1 +θ)

u 0 17,19 (28, 34)

u 0 8,1 (12, 0)

ν
(λ+ν)

βµ 1
(µ 1 +θ)

u 0 17,20 (28, 37)

u 0 8,11 (12, 18)

λ
(λ+ν)

u 0 18,8 (33, 12)

θ
(λ+θ)

u 0 9,2 (13, 2)

1.0

u 0 19,9 (34, 13)

ν
(θ+ν)

u 0 9,12 (13, 19)

λ
(λ+θ)

u 0 19,11 (34, 18)

θ
(θ+ν)

u 0 10,14 (15, 25) α

u 0 20,12 (37, 19)

u 0 10,15 (15, 26)

1.0

β