Stochastic reward nets for reliability prediction (1994) [22 citations — 5 self]
by Gianfranco Ciardo, Kishor S. Trivedi
Communications in Reliability, Maintainability and Serviceability
http://www.cs.wm.edu/~ciardo/pubs/1994CRMS-Reliability.ps
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Ciardo94stochasticreward,author = {Gianfranco Ciardo and Kishor S. Trivedi},
title = {Stochastic reward nets for reliability prediction},
booktitle = {Communications in Reliability, Maintainability and Serviceability},
year = {1994},
pages = {9--20}
}
Years of Citing Articles
Abstract:
We describe the use of stochastic Petri nets (SPNs) and stochastic reward nets (SRNs) which are SPNs augmented with the ability to specify output measures as reward-based functions, for the evaluation of reliability for complex systems. The solution of SRNs involves generation and analysis of the corresponding Markov reward model. The use of SRNs in modeling complex systems is illustrated through several interesting examples. We mention the use of the Stochastic Petri Net Package (SPNP) for the description and solution of SRN models. 1
Citations
| 81 | Automated generation and analysis of Markov reward models using Stochastic Reward Nets – Ciardo, Blakemore, et al. - 1993 |
| 7 | GSPN models of multiserver multiqueue systems – Marsan, Donatelli, et al. - 1989 |
| 2 | on Petri Nets and Performance Models – Workshop - 1989 |
