Diagnosis of Computer Systems by Stochastic Petri Nets Part <cd02d36.gif> (Theory)

Gerald S. SHEDLER; Satoshi MORIGUCHI

Diagnosis of Computer Systems by Stochastic Petri Nets Part (Theory)

Gerald S. SHEDLER, Satoshi MORIGUCHI

Full Text Views

0

Share
Cite this

Summary :

This paper focuses on methodology underlying the application to fault tolerant computer systems with "no down communication" capability of stochastic Petri nets with general firing times. Based on a formal specification of the stochastic Petri net, we provide criteria for the marking process to be a regenerative process in continuous time with finite cycle-length moments. These results lead to strongly consistent point estimates and asymptotic confidence intervals for limiting system availability indices. We also show how the building blocks of stochastic Petri nets with general firing times facilitate the modeling of non-deterministic transition firing and illustrate the use of "interrupter input places" for graphical representation of transition interruptions.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E76-A No.4 pp.565-579

Publication Date: 1993/04/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)

Category

Cite this

Copy

Gerald S. SHEDLER, Satoshi MORIGUCHI, "Diagnosis of Computer Systems by Stochastic Petri Nets Part (Theory)" in IEICE TRANSACTIONS on Fundamentals, vol. E76-A, no. 4, pp. 565-579, April 1993, doi: .
Abstract: This paper focuses on methodology underlying the application to fault tolerant computer systems with "no down communication" capability of stochastic Petri nets with general firing times. Based on a formal specification of the stochastic Petri net, we provide criteria for the marking process to be a regenerative process in continuous time with finite cycle-length moments. These results lead to strongly consistent point estimates and asymptotic confidence intervals for limiting system availability indices. We also show how the building blocks of stochastic Petri nets with general firing times facilitate the modeling of non-deterministic transition firing and illustrate the use of "interrupter input places" for graphical representation of transition interruptions.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e76-a_4_565/_p

Copy

@ARTICLE{e76-a_4_565,
author={Gerald S. SHEDLER, Satoshi MORIGUCHI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Diagnosis of Computer Systems by Stochastic Petri Nets Part (Theory)},
year={1993},
volume={E76-A},
number={4},
pages={565-579},
abstract={This paper focuses on methodology underlying the application to fault tolerant computer systems with "no down communication" capability of stochastic Petri nets with general firing times. Based on a formal specification of the stochastic Petri net, we provide criteria for the marking process to be a regenerative process in continuous time with finite cycle-length moments. These results lead to strongly consistent point estimates and asymptotic confidence intervals for limiting system availability indices. We also show how the building blocks of stochastic Petri nets with general firing times facilitate the modeling of non-deterministic transition firing and illustrate the use of "interrupter input places" for graphical representation of transition interruptions.},
keywords={},
doi={},
ISSN={},
month={April},}

Copy

TY - JOUR
TI - Diagnosis of Computer Systems by Stochastic Petri Nets Part (Theory)
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 565
EP - 579
AU - Gerald S. SHEDLER
AU - Satoshi MORIGUCHI
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E76-A
IS - 4
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - April 1993
AB - This paper focuses on methodology underlying the application to fault tolerant computer systems with "no down communication" capability of stochastic Petri nets with general firing times. Based on a formal specification of the stochastic Petri net, we provide criteria for the marking process to be a regenerative process in continuous time with finite cycle-length moments. These results lead to strongly consistent point estimates and asymptotic confidence intervals for limiting system availability indices. We also show how the building blocks of stochastic Petri nets with general firing times facilitate the modeling of non-deterministic transition firing and illustrate the use of "interrupter input places" for graphical representation of transition interruptions.
ER -