Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing

Reliability Engineering and System Safety

Volumn 52, Issue 3 SPEC. ISS., 1996, Pages 243-259

  Balakrishnan, Meera ^a   Trivedi, Kishor S ^a  

^a Duke University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAILURE ANALYSIS; MARKOV PROCESSES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; NUMERICAL METHODS; PETRI NETS; PROBLEM SOLVING; RANDOM PROCESSES; STATE SPACE METHODS; SWITCHING; TELECOMMUNICATION TRAFFIC; VOICE/DATA COMMUNICATION SYSTEMS;

ALTERNATE ROUTING PROTOCOLS; RELIABILITY ANALYSIS; STATE SPACE MODELS; STOCHASTIC PETRI NETS;

RELIABILITY THEORY;

EID: 0030166071     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/0951-8320(95)00132-8     Document Type: Article

References (41)

1. Arlat, J. & Laprie, J. C., Performance-related dependability evaluation of supercomputer systems. In Proceedings of the 13th Fault-Tolerant Computing Symposium, June 1983, Milano.
2. Aupperle, B. E. & Meyer, J. F., State space generation for degradable systems. In Proceedings of the 21st Fault-Tolerant Computing Symposium, June 1991, Montreal.
3. Balakrishnan, M. & Reibman, A., Characterizing a lumping-heuristic for a Markov network reliability model. In Proceedings of the 23rd Fault-Tolerant Computing Symposium, June 1993, Toulouse.
4. Balakrishnan, M. & Reibman, A., Reliability models for fault-tolerant private network applications. IEEE Trans. Computers, 43 (1994) 1039-1053.
5. Ball, M.O., Computational complexity of network reliability analysis: an overview. IEEE Trans. Reliab., 35 (1986) 230-239.
6. Bobbio, A. & Trivedi, K.S., An aggregation technique for the transient analysis of stiff Markov chains. IEEE Trans. Computers, C-35 (1986) 803-814.
7. Bouricius, W. G., Carter, W. C. & Schneider, P. R., Reliability modeling techniques for self-repairing computer systems. In Proceedings of 24th National Conference of the ACM, 1969, pp. 295-309.
8. Chiola, G., A software package for the analysis of generalized stochastic Petri nets. In Proceedings of the International Workshop on Timed Petri Nets, IEEE Computer Society Press, Los Alamitos, 1985.
9. Choi, H., Kulkarni, V. G. & Trivedi, K. S., Markov regenerative stochastic Petri nets. Performance Eval., 20 (1994) 337-357.
10. Ciardo, G., Blakemore, A., Chimento, P. F., Muppala, J. K. & Trivedi, K. S., Automated generation and analysis of markov reward models using stochastic reward nets. In Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and its Applications (eds C. Meyer & R. J. Plemmons), Springer-Verlag, Heidelberg, Germany, 1992.
11. Ciardo, G., Fricks, R. M., Muppala, J. K. & Trivedi, K. S., SPNP Users Manual, Department of Electrical Engineering, Duke University, Durham, North Carolina, 1994.
12. Ciardo, G., German, R. & Lindemann, C., A characterization of the stochastic process underlying a stochastic Petri net. In Proceedings of the 5th International Conference on Petri Nets and Performance Models, IEEE Society Press, Los Alamitos, CA, 1993.
13. Ciardo, G., Marie, R., Sericola, B. & Trivedi, K.S., Performability analysis using semi-markov reward processes. IEEE Trans. Computers, 39 (1990) 1251-1264.
14. Ciardo, G., Muppala, J. & Trivedi, K. S., SPNP: Stochastic Petri Net Package. In Proceedings of the International Workshop on Timed Petri Nets, IEEE Computer Society Press, Los Alamitos, CA, 1989.
15. Ciardo, G., Muppala, J.K. & Trivedi, K.S., On the solution of GSPN reward models. Performance Eval., 12 (1991) 237-254.
16. Colbourn, C. J., The Combinatorics of Network Reliability, Oxford University Press, Oxford, 1987.
17. Couvillon, J.A., Freire, R., Johnson, R., Obal II, W.D., Quereshi, M.A., Rai, M., Sanders, W.R. & Tvedt, J.E., Performability modeling with ultrasan. IEEE Software, 8 (1991) 69-80.
18. Dugan, J.B. & Trivedi, K.S., Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Trans. Computers, 38 (1989) 775-787.
19. Geist, R., Smotherman, M., Dugan, J.B. & Trivedi, K.S., Hybrid reliability modeling for fault-tolerant computer systems. Computers and Elec. Engng, 11 (1984) 87-108.
20. Girard, A., Routing and Dimensioning in Circuit-Switched Networks, Addison-Wesley, New York, 1990.
21. Haase, P.J. & Shedler, G.S., Stochastic Petri net representation of discrete event simulations. IEEE Trans. Software Engng, 15 (1989) 381-393.
22. Haverkort, B. & Trivedi, K.S., Discrete event dynamic systems: theory and applications. Specification and Generation of Markov Reward Models, 3 (1993) 219-247.
23. Hui, J.Y., Gursoy, M.B., Moayeri, N. & Yates, R.D., A layered broadband switching architecture with physical and virtual path configurations. IEEE J. Selected Areas in Communications, 9 (1991) 1416-1425.
24. Ibe, O.C., Howe, R.C. & Trivedi, K.S., Approximate availability analysis of VAXcluster system. IEEE Trans. Reliab., 38 (1989) 146-152.
25. Kemeny, J. & Snell, L. J., Finite Markov Chains, Springer-Verlag, Berlin, 1976.
26. Kulkarni, V. G., Lecture Notes on Stochastic Models in Operations Research, University of North Carolina, Chapel Hill, 1990.
27. Kumar, V.K.P., Hariri, S. & Raghavendra, C.S., Distributed program reliability analysis. IEEE Trans. Software Engng, 12 (1986) 42-50.
28. Lindemann, C. & German, R., Discrete event dynamic systems: theory and applications. Modeling Discrete Event Systems with Satte-dependent Deterministic Times, 3 (1993) 249-270.
29. Malhotra, M., Muppala, J. & Trivedi, K.S., Stiffness-tolerant methods for transient analysis of stiff Markov chains. Microelec. & Reliab., 34 (1994) 1825-1841.
30. Marsan, M.A., Conte, G. & Balbo, G., A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Computer Systems, 2 (1984) 93-122.
31. Meyer, J.F., Performability: a retrospective and some pointers to the future. Performance Eval., 14 (1992) 139-140.
32. Muppala, J. K., Sathye, A. S., Howe, R. C. & Trivedi, K. S., Dependability modeling of a heterogeneous VAXcluster system using stochastic reward nets. In Hardware and Softwre Fault Tolerance in Parallel Computing Systems, (ed. D. Avresky) Ellis Horwood, Ltd., NY, 1992 pp. 33-59.
33. Nicola, V. F., Lumping in Markov reward processes. In First International Conference on the Numerical Solution of Markov Chains, IFIP W.G. 7.3, Raleigh, NC, January 1990.
34. Peterson, J.L., Petri nets. ACM Computing Surveys, 9 (1977).
35. Ral, S. & Agrawal, D. P., (eds) Distributed Computing Network Reliability, IEEE Computer Society Press, Los Alamitos, CA, 1990.
36. Rai, S., Veeraraghavan, Malathi & Trivedi, K.S., A survey of efficient reliability computation using disjoint products approach. Networks, 25 (1995) 147-163.
37. Reibman, A. L., Transient analysis of large stiff Markov models: numerical and approximate solution techniques. PhD thesis, Department of Computer Science, Duke University, 1987.
38. Sahner, R. & Trivedi, K.S., A software tool for learning about stochastic models. IEEE Trans. Education, 36 (1993) 56-61.
39. Sanders, W. H. & Meyer, J. F., A performability evaluation tool based on stochastic activity nets. In Proceedings of the ACM-IEEE Comp. Soc. Fall Joint Computing Comp. IEEE Computer Society Press, Los Alamitos, CA, 1986.
40. Trivedi, K.S., Muppala, J.K., Woolet, S.P. & Haverkort, B.R., Composite performance and dependability analysis. Performance Eval., 14 (1992) 197-216.
41. Veeraraghavan, M. & Trivedi, K.S., An improved algorithm for symbolic reliability analysis. IEEE Trans. Reliab., 40 (1991) 347-348.