Dependability Modeling Using Petri-Nets

IEEE Transactions on Reliability

Volumn 44, Issue 3, 1995, Pages 428-440

  Malhotra, Manish ^a   Trivedi, Kishor S ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b DUKE UNIVERSITY   (United States)

Author keywords

Combinatorial model type; dependability; fault tree; generalized stochastic Petri net; Markov model; stochastic reward net

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS; REPAIR; SOFTWARE ENGINEERING; STATE SPACE METHODS;

GENERALIZED STOCHASTIC PETRI NET (GSPN); STOCHASTIC REWARD NET (SRN); SYSTEM DEPENDABILITY;

FAILURE ANALYSIS;

EID: 0029378948     PISSN: 00189529     EISSN: 15581721     Source Type: Journal    
DOI: 10.1109/24.406578     Document Type: Article

References (26)

1. G. Ciardo, J. Muppala, K. Trivedi, “Analyzing concurrent and fault-tolerant software using stochastic reward nets”, J. Parallel & Distributed Computing, vol 15, 1992, pp 255–269.
2. M. Ajmone-Marsan, G. Conte, G. Balbo, “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems”, ACM Trans. Computer Systems, vol 2, num 2, 1984, pp 93–122.
3. M. Ajmone-Marsan, G. Balbo, G. Conte, Performance Models of Multiprocessor Systems, 1986; MIT Press.
4. J. Meyer, A. Movaghar, W. Sanders, “Stochastic activity networks: Structure, behavior, and application”, Int'l Workshop Petri Nets and Performance Models, 1985 Jul, pp 106–115; Torino, Italy.
5. M. Molloy, “Performance analysis using stochastic Petri nets”, IEEE Trans. Computers, vol C-31, 1982 Sep, pp 913–917.
6. J. Muppala, “Performance and dependability modeling using stochastic reward nets”, PhD Thesis, 1991 Apr; Duke Univ.
7. W. Sanders, “Construction and solution of performability models based on stochastic activity networks”, PhD Thesis, 1988; Univ. of Michigan.
8. B. Beyaert, G. Florin, P. Lonc, S. Natkin, “Evaluation of computer system dependability using stochastic Petri nets”, Digest 11th Ann. Symp. Fault-Tolerant Computing, 1981 Jun, pp 79–81; IEEE Computer Society Press.
9. H. Kantz, K. Trivedi, “Reliability modeling of MARS system: A case study in the use of different tools and techniques”, Int'l Workshop Petri Nets and Performance Models, 1991; Melbourne, Australia.
10. J. Muppala, A. Sathaye, R. Howe, K. Trivedi, “Dependability modeling of a heterogenous VAXcluster system using stochastic reward nets”, Hardware & Software Fault Tolerance in Parallel Computing Systems (D. Averesky, Ed), 1992; Ellis Horwood Ltd.
11. G. Ciardo, A. Blakemore, P. F. Chimento, et al, “Automated generation and analysis of Markov reward models using stochastic reward nets”, Linear Algebra, Markov Chains, Queueing Models, IMA Volumes in Mathematics and its Applications (C. Meyer & R.J. Plemmons, Eds), vol 48, 1993, pp 145–191; Springer-Verlag.
12. G. Ciardo, J. Muppala, K. Trivedi, “SPNP: Stochastic Petri net package”, Proc. Int'l Workshop Petri Nets and Performance Models, 1989 Dec, pp 142–150; IEEE Computer Society Press.
13. G. Chiola, “A software package for the analysis of generalized stochastic Petri nets”, Proc. Int'l Workshop Timed Petri Nets, 1985 Jul; Torino, Italy.
14. M. Malhotra, K. Trivedi, “Power-hierarchy among dependability model types”, IEEE Trans. Reliability, vol 43, 1994 Sep, pp 493–502.
15. J. Arsenault, J. Roberts, Reliability and Maintainability of Electronic Systems, 1980; Computer Science Press.
16. B. Dhillon, C. Singh, “Bibliography literature on fault-trees”, Microelectronics & Reliability, vol 17, 1978, pp 501–503.
17. M. Balakrishnan, K. Trivedi, “Stochastic Petri nets for reliability analysis of communication network applications with alternate routing”, Reliability Eng'g and System Safety, 1995, (to be published).
18. J. Muppala, G. Ciardo, K. Trivedi, “Stochastic reward nets for reliability prediction”, Comm. Reliability, Maintainability Serviceability, vol 1, num 2, 1994, pp 9–20.
19. L. Tomek, J. Muppala, K. Trivedi, “Modeling correlation in software recovery blocks”, IEEE Trans. Software Engineering, vol 19, 1993, num 11, pp 1071–1086.
20. J. Peterson, Petri Net Theory and the Modeling of Systems, 1981; Prentice-Hall.
21. H. Choi, V. Kulkarni, K. Trivedi, “Markov regenerative stochastic Petri nets”, Performance Evaluation, vol 20, 1994, pp 337–357.
22. M. Malhotra, J. Muppala, K. Trivedi, “Stiffness-tolerant methods for transient analysis of stiff Markov chains”, Microelectronics & Reliability, vol 34, num 11, 1994, pp 1825–1841.
23. M. Malhotra, “A computationally efficient technique for transient analysis of repairable Markovian systems”, Performance Evaluation, 1996, (to appear).
24. W. Stewart, “A comparison of numerical techniques in Markov modeling”, Comm. ACM, vol 21, 1978 Feb, pp 144–152.
25. J. Dugan, S. Bavuso, M. Boyd, “Dynamic fault-tree models for fault-tolerant computer systems”, IEEE Trans. Reliability, vol 41, 1992 Sep, pp 363–377.
26. J. Dugan, K. Trivedi, M. Smotherman, R. Geist, “The hybrid automated reliability predictor”, AIAA J. Guidance, Control, Dynamics, 1986, May-Jun, pp 319–331.