TY - GEN
T1 - Approximate performability analysis using generalized stochastic petri nets
AU - Haverkort, Boudewijn R.H.M.
PY - 1991/12/3
Y1 - 1991/12/3
N2 - Addresses the problem of calculating performability measures from performability models of fault-tolerant computer systems. Since these systems tend to be large and complex, the corresponding performability models will in general also be large and complex. To alleviate the largeness problem to some extent the author uses generalized stochastic Petri nets to describe the models. Still however, many models cannot be solved with the current numerical techniques, although they are conveniently and often compactly described. In the paper the author discusses two heuristic state space truncation techniques that allow us to obtain very good approximations while only assessing a few percent of the overall state space. He gives examples of the usage, but also theoretical evidence in the correctness of the employed truncation techniques. He furthermore shows that GSPNs are very suitable for implementing (describing) the proposed truncation techniques
AB - Addresses the problem of calculating performability measures from performability models of fault-tolerant computer systems. Since these systems tend to be large and complex, the corresponding performability models will in general also be large and complex. To alleviate the largeness problem to some extent the author uses generalized stochastic Petri nets to describe the models. Still however, many models cannot be solved with the current numerical techniques, although they are conveniently and often compactly described. In the paper the author discusses two heuristic state space truncation techniques that allow us to obtain very good approximations while only assessing a few percent of the overall state space. He gives examples of the usage, but also theoretical evidence in the correctness of the employed truncation techniques. He furthermore shows that GSPNs are very suitable for implementing (describing) the proposed truncation techniques
KW - METIS-119492
KW - IR-18970
U2 - 10.1109/PNPM.1991.238790
DO - 10.1109/PNPM.1991.238790
M3 - Conference contribution
SP - 300
EP - 309
BT - Fourth International Workshop on Petri Nets and Performance Models
PB - IEEE
CY - Melbourne, Australie
T2 - Fourth International Workshop on Petri Nets and Performance Models, PNPM
Y2 - 2 December 1991 through 5 December 1991
ER -