Number of simulated sequences : 1000

Number of filtred sequences : 214

Sequence probability Sequence ending reason Description of sequence branches
0.103 Normal
Mean time of firing Transition description
name final state type law
1 41.9748 aHeater.OK_to_KO
KO
fault
exp
2 63.8282 aHeater.KO_to_OK
OK
repair
exp
0.048 Normal
Mean time of firing Transition description
name final state type law
1 25.2406 aHeater.OK_to_KO
KO
fault
exp
2 38.5415 aHeater.KO_to_OK
OK
repair
exp
3 58.9802 aHeater.OK_to_KO
KO
fault
exp
4 73.1944 aHeater.KO_to_OK
OK
repair
exp
0.02 Normal
Mean time of firing Transition description
name final state type law
1 19.5048 aHeater.OK_to_KO
KO
fault
exp
2 27.1211 aHeater.KO_to_OK
OK
repair
exp
3 41.9651 aHeater.OK_to_KO
KO
fault
exp
4 56.5803 aHeater.KO_to_OK
OK
repair
exp
5 72.9766 aHeater.OK_to_KO
KO
fault
exp
6 79.8366 aHeater.KO_to_OK
OK
repair
exp
0.019 Normal
Mean time of firing Transition description
name final state type law
1 33.0876 aHeater.OK_to_KO
KO
fault
exp
2 46.8323 aHeater.KO_to_OK
OK
repair
exp
3 88.0476 aHeater.OK_to_KO
KO
fault
exp
0.016 Normal
Mean time of firing Transition description
name final state type law
1 82.0995 aHeater.OK_to_KO
KO
fault
exp
0.005 Normal
Mean time of firing Transition description
name final state type law
1 25.1539 aHeater.OK_to_KO
KO
fault
exp
2 32.569 aHeater.KO_to_OK
OK
repair
exp
3 55.2682 aHeater.OK_to_KO
KO
fault
exp
4 57.7555 aHeater.KO_to_OK
OK
repair
exp
5 83.9487 aHeater.OK_to_KO
KO
fault
exp
0.002 Normal
Mean time of firing Transition description
name final state type law
1 10.7399 aHeater.OK_to_KO
KO
fault
exp
2 26.0936 aHeater.KO_to_OK
OK
repair
exp
3 42.0744 aHeater.OK_to_KO
KO
fault
exp
4 47.2619 aHeater.KO_to_OK
OK
repair
exp
5 61.0852 aHeater.OK_to_KO
KO
fault
exp
6 62.9444 aHeater.KO_to_OK
OK
repair
exp
7 75.4682 aHeater.OK_to_KO
KO
fault
exp
8 77.8036 aHeater.KO_to_OK
OK
repair
exp
0.001 Normal
Mean time of firing Transition description
name final state type law
1 9.7717 aHeater.OK_to_KO
KO
fault
exp
2 39.4545 aHeater.KO_to_OK
OK
repair
exp
3 56.3103 aHeater.OK_to_KO
KO
fault
exp
4 57.7562 aHeater.KO_to_OK
OK
repair
exp
5 60.4101 aHeater.OK_to_KO
KO
fault
exp
6 61.2772 aHeater.KO_to_OK
OK
repair
exp
7 68.8891 aHeater.OK_to_KO
KO
fault
exp
8 68.9188 aHeater.KO_to_OK
OK
repair
exp
9 71.5227 aHeater.OK_to_KO
KO
fault
exp
10 76.7496 aHeater.KO_to_OK
OK
repair
exp