Markov regenerative SPN with non-overlapping activity cycles

Andrea Bobbio, M. Telek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

43 Citations (Scopus)

Abstract

The paper discusses a class of Markov Regenerative Stochastic Petri Nets (MRSPN) characterized by the fact that the stochastic process subordinated to two consecutive regeneration time points is a semi-Markov reward process. This class of SPN's can accommodate transitions with generally distributed firing time and associated memory policy of both enabling and age type, thus generalizing and encompassing all the previous definitions of MRSPN. An unified analytical procedure is developed for the derivation of closed form expressions for the transient and steady state probabilities.

Original languageEnglish
Title of host publicationProceedings - International Computer Performance and Dependability Symposium
Pages124-133
Number of pages10
Publication statusPublished - 1995
EventProceedings of the IEEE International Computer Performance and Dependability Symposium - Erlangen, Ger
Duration: Apr 24 1995Apr 26 1995

Other

OtherProceedings of the IEEE International Computer Performance and Dependability Symposium
CityErlangen, Ger
Period4/24/954/26/95

Fingerprint

Petri nets
Random processes
Markov processes
Data storage equipment

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Bobbio, A., & Telek, M. (1995). Markov regenerative SPN with non-overlapping activity cycles. In Proceedings - International Computer Performance and Dependability Symposium (pp. 124-133)

Markov regenerative SPN with non-overlapping activity cycles. / Bobbio, Andrea; Telek, M.

Proceedings - International Computer Performance and Dependability Symposium. 1995. p. 124-133.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bobbio, A & Telek, M 1995, Markov regenerative SPN with non-overlapping activity cycles. in Proceedings - International Computer Performance and Dependability Symposium. pp. 124-133, Proceedings of the IEEE International Computer Performance and Dependability Symposium, Erlangen, Ger, 4/24/95.
Bobbio A, Telek M. Markov regenerative SPN with non-overlapping activity cycles. In Proceedings - International Computer Performance and Dependability Symposium. 1995. p. 124-133
Bobbio, Andrea ; Telek, M. / Markov regenerative SPN with non-overlapping activity cycles. Proceedings - International Computer Performance and Dependability Symposium. 1995. pp. 124-133
@inproceedings{35edf9e375bb4fafa1080d847844ca26,
title = "Markov regenerative SPN with non-overlapping activity cycles",
abstract = "The paper discusses a class of Markov Regenerative Stochastic Petri Nets (MRSPN) characterized by the fact that the stochastic process subordinated to two consecutive regeneration time points is a semi-Markov reward process. This class of SPN's can accommodate transitions with generally distributed firing time and associated memory policy of both enabling and age type, thus generalizing and encompassing all the previous definitions of MRSPN. An unified analytical procedure is developed for the derivation of closed form expressions for the transient and steady state probabilities.",
author = "Andrea Bobbio and M. Telek",
year = "1995",
language = "English",
pages = "124--133",
booktitle = "Proceedings - International Computer Performance and Dependability Symposium",

}

TY - GEN

T1 - Markov regenerative SPN with non-overlapping activity cycles

AU - Bobbio, Andrea

AU - Telek, M.

PY - 1995

Y1 - 1995

N2 - The paper discusses a class of Markov Regenerative Stochastic Petri Nets (MRSPN) characterized by the fact that the stochastic process subordinated to two consecutive regeneration time points is a semi-Markov reward process. This class of SPN's can accommodate transitions with generally distributed firing time and associated memory policy of both enabling and age type, thus generalizing and encompassing all the previous definitions of MRSPN. An unified analytical procedure is developed for the derivation of closed form expressions for the transient and steady state probabilities.

AB - The paper discusses a class of Markov Regenerative Stochastic Petri Nets (MRSPN) characterized by the fact that the stochastic process subordinated to two consecutive regeneration time points is a semi-Markov reward process. This class of SPN's can accommodate transitions with generally distributed firing time and associated memory policy of both enabling and age type, thus generalizing and encompassing all the previous definitions of MRSPN. An unified analytical procedure is developed for the derivation of closed form expressions for the transient and steady state probabilities.

UR - http://www.scopus.com/inward/record.url?scp=0029212720&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029212720&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0029212720

SP - 124

EP - 133

BT - Proceedings - International Computer Performance and Dependability Symposium

ER -