Approximate performability analysis using generalized stochastic petri nets

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
21 Downloads (Pure)

Abstract

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
Original languageUndefined
Title of host publicationFourth International Workshop on Petri Nets and Performance Models
Place of PublicationMelbourne, Australie
PublisherIEEE
Pages300-309
Number of pages10
DOIs
Publication statusPublished - 3 Dec 1991

Publication series

Name
PublisherIEEE

Keywords

  • METIS-119492
  • IR-18970

Cite this

Haverkort, B. R. H. M. (1991). Approximate performability analysis using generalized stochastic petri nets. In Fourth International Workshop on Petri Nets and Performance Models (pp. 300-309). Melbourne, Australie: IEEE. https://doi.org/10.1109/PNPM.1991.238790
Haverkort, Boudewijn R.H.M. / Approximate performability analysis using generalized stochastic petri nets. Fourth International Workshop on Petri Nets and Performance Models. Melbourne, Australie : IEEE, 1991. pp. 300-309
@inproceedings{450930ab651448b9b6479e2d4a9f0672,
title = "Approximate performability analysis using generalized stochastic petri nets",
abstract = "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",
keywords = "METIS-119492, IR-18970",
author = "Haverkort, {Boudewijn R.H.M.}",
year = "1991",
month = "12",
day = "3",
doi = "10.1109/PNPM.1991.238790",
language = "Undefined",
publisher = "IEEE",
pages = "300--309",
booktitle = "Fourth International Workshop on Petri Nets and Performance Models",
address = "United States",

}

Haverkort, BRHM 1991, Approximate performability analysis using generalized stochastic petri nets. in Fourth International Workshop on Petri Nets and Performance Models. IEEE, Melbourne, Australie, pp. 300-309. https://doi.org/10.1109/PNPM.1991.238790

Approximate performability analysis using generalized stochastic petri nets. / Haverkort, Boudewijn R.H.M.

Fourth International Workshop on Petri Nets and Performance Models. Melbourne, Australie : IEEE, 1991. p. 300-309.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

ER -

Haverkort BRHM. Approximate performability analysis using generalized stochastic petri nets. In Fourth International Workshop on Petri Nets and Performance Models. Melbourne, Australie: IEEE. 1991. p. 300-309 https://doi.org/10.1109/PNPM.1991.238790