Skip to main content
SpringerLink
Log in

Dependability and performability analysis using stochastic Petri nets

  • The Petri Net Approach
  • Conference paper
  • First Online:
Book cover 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 199))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H.H. Ammar, S.M.R. Islam, and S. Deng. Performability analysis of parallel and distributed algorithms. In Proceedings of Petri Nets and Performance Models, pp. 240–248, kyoto, Japan, Dec. 1989.

    Google Scholar 

  2. M. Beaudry. Performance related reliability for computer systems. IEEE Transactions on Computers, C-27:540–547, June 1978.

    Google Scholar 

  3. Andrea Bobbio. Stochastic Reward Models in Performance/Reliability Analysis. In R. Puigjaner and D. Poitie (eds.) Modeling Techniques and Tools for Computer Performance Evaluation, pp. 353–365, Plenum Press, 1989

    Google Scholar 

  4. A. Bobbio and K.S. Trivedi. An aggregation technique for the transient analysis of stiff Markov chains. IEEE Transactions on Computers, C-35(9):803–814, Sept. 1986.

    Google Scholar 

  5. S.C. Bruel, P.Z. Chen, and G. Balboa. Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets. In Proc. of the 3rd Int'l. Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, Japan, 1989.

    Google Scholar 

  6. J.A. Carrasco. Automated construction of compound Markov chains from generalized stochastic high-level Petri nets. In Proc. of the 3rd Int'l. Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, Japan, 1989.

    Google Scholar 

  7. O.C. Ibe, H. Choi, and K.S. Trivedi. Stochastic Petri net models of client-server systems, IEEE Transactions on Parallel and Distributed Systems. to appear

    Google Scholar 

  8. H. Choi, V.G. Kulkarni and K.S. Trivedi. Markov Regenerative Stochastic Petri nets. In 16th IFIP W.G. 7.3 Int'l Sym. on Computer Performance Modeling, Measurement and Evaluation (Performance '93), Rome, Italy, Sep. 1993.

    Google Scholar 

  9. H. Choi and K.S. Trivedi. Approximate Performance Models of Polling Systems using Stochastic Petri Nets. In Proceedings of the IEEE INFOCOM 92, Florence, Italy, May 1992.

    Google Scholar 

  10. H. Choi, V.G. Kulkarni, and K.S. Trivedi. Transient analysis of deterministic and stochastic Petri nets, Lecture Notes in Computer Science, M.A. Marson (ed.), Springer Verlag, 1993.

    Google Scholar 

  11. H. Choi, V. Mainkar, and K.S. Trivedi. Sensitivity analysis of deterministic and stochastic petri nets. In Proc. of MASCOTS'93, the Int'i Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pages 271–276, San Diego, USA, Jan. 1993.

    Google Scholar 

  12. G. Ciardo, J.K. Muppala, and K.S. Trivedi. Analyzing concurrent and fault-tolerant software using stochastic Petri nets. Journal of Parallel and Distributed Computing. Vol. 15, pp. 255–269, 1992.

    Article  Google Scholar 

  13. G. Ciardo and C. Lindemann. Analysis of deterministic and stochastic Petri nets. In Proceedings of Petri nets and Performance Models 1993, pp. 160–169, Toulouse, France, Oct. 19–22, 1993.

    Google Scholar 

  14. G. Ciardo and K.S. Trivedi. A decomposition approach for stochastic reward net models. In Proceedings of the Fourth Intl. Workshop on Petri Nets and Performance Models (PNPM91), Melbourne, Australia, Dec. 1991.

    Google Scholar 

  15. G. Ciardo, A. Blakemore, P.F. Chimento, J.K. Muppala and K.S. Trivedi. Automated generation and analysis of Markov reward models using stochastic reward nets. In Linear Algebra, Markov Chains, and Queueing Models, Carl Meyer and R.J. Plemmons (eds.), IMA Volumes in Mathematics & its Applications, Vol. 48, pp 145–191, Springer Verlag, Heidelberg, 1993.

    Google Scholar 

  16. J.B. Dugan, K.S. Trivedi, R.M. Geist, and V.F. Nicola. Extended stochastic Petri nets: Applications and analysis, Performance '84, E. Gelenbe (ed.), North-Holland.

    Google Scholar 

  17. B.R. Haverkort and K.S. Trivedi. Specification and generation of Markov reward models. Discrete Event Dynamic Systems: Theory and Applications 3, pp.219–247, 1993.

    Google Scholar 

  18. V. Mainkar, H. Choi, and K.S. Trivedi. Sensitivity analysis of Markov regenerative stochastic Petri nets. In Proceedings of Petri nets and Performance Models 1993, pp. 180–191, Toulouse, France, Oct. 19–22, 1993.

    Google Scholar 

  19. M. Malhotra and K.S. Trivedi. Power-hierarchy of dependability model types. To appear in IEEE Transactions on Reliability.

    Google Scholar 

  20. M. Malhotra and A. Reibman. Selecting and implementing phase approximations for semi-Markov models. To appear in Stochastic Models, 1993.

    Google Scholar 

  21. M. Malhotra, J.K. Muppala, and K.S. Trivedi. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Technical Report DUKE-CCSR-92-003, Center for Computer Systems Research, Duke University, 1992.

    Google Scholar 

  22. M. Malhotra and K.S. Trivedi. Reliability analysis of redundant arrays of inexpensive disks. Journal of Parallel and Distributed Computing, 17:146–151, Jan. 1993.

    Article  Google Scholar 

  23. M. Malhotra and K.S. Trivedi. A methodology for formal expression of hierarchy in model solution. In Proceedings of Petri nets and Performance Models 1993, pp. 258–267, Toulouse, France, Oct. 19–22, 1993.

    Google Scholar 

  24. M. Malhotra. Specification and solution of dependability models of fault-tolerant systems. Ph.D. Thesis, Department of Computer Science, Duke University, April, 1993.

    Google Scholar 

  25. M.A. Marson and G. Conte. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comp. Systems, Vol 2. No. 2, May 1984, pp. 93–122

    Article  Google Scholar 

  26. M.A. Marson, G. Balbo, G. Chiola, and G. Conte. Generalized stochastic Petri nets revisited; Random switches and priorities. In Proceedings of Petri Nets and Performance Models, pp 44–53, Wisconsin, Madison, August, 1987.

    Google Scholar 

  27. J.F. Meyer. On evaluating the performability of degradable computer systems. IEEE Trans. on Computers. C-29(8):720–731, 1980.

    Google Scholar 

  28. J.F. Meyer. Closed-form solutions of performability. IEEE Trans. on Computers. C-31(7):648–657, 1982.

    Google Scholar 

  29. M. Molloy. Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, C-31(9):913–917, Sept. 1982.

    Google Scholar 

  30. J.K. Muppala, and K.S. Trivedi, Composite Performance and Availability Analysis using a Hierarchy of Stochastic Reward Nets, Proc. fifth Intl. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, Feb. 1991.

    Google Scholar 

  31. J.K. Muppala, A.S. Sathaye, R.C. Howe, and K.S. Trivedi. Dependability modeling of a heterogeneous multiprocessor system using stochastic reward nets. In D. Avresky (ed.), Hardware & Software Fault Tolerance in Parallel Computing Systems, pp. 33–59, Ellis Horwood Ltd. 1992.

    Google Scholar 

  32. J.K. Muppala and K.S. Trivedi. Numerical transient analysis of finite Markovian queueing systems. In U. Bhat and I. Basawa, editors, Queueing and Related Models, pp. 262–284. Oxford University Press, 1992.

    Google Scholar 

  33. J.L. Peterson. Petri net theory and the modeling of systems, Prentice Hall, 1981.

    Google Scholar 

  34. A. Reibman and K.S. Trivedi. Numerical Transient analysis of Markov Models. Computers and Operations Research, 15(1):19–36, 1988.

    Article  Google Scholar 

  35. A. Reibman and K.S. Trivedi. Transient analysis of cumulative measures of Markov model behavior. Stochastic Models, 5(4):683–710, 1989.

    Google Scholar 

  36. R. Sahner and K.S. Trivedi. A software tool for learning about stochastic models. IEEE Transactions on Education, 36(1):56–61, Feb. 1993.

    Article  Google Scholar 

  37. R. Sahner, and K.S. Trivedi. Performance analysis using directed acyclic graphs. IEEE Transactions on Software Engg., 14(10):1105–1114, Oct. 1987.

    Google Scholar 

  38. L. Tomek and K.S. Trivedi. Fixed-Point iteration in availability modeling. In M. Dal Cin (ed.), Informatik-Fachberichte, Vol. 91: Fehlertolerierende Rechensystems. Springer Verlag, Berlin, 1991.

    Google Scholar 

  39. L.A. Tomek, J.K. Muppala, and K.S. Trivedi. Modeling Correlation in Software Recovery Blocks. IEEE Transactions on Software Engg. (sp. issue on software reliability), 19(11):1071–1086, November 1993.

    Article  Google Scholar 

  40. K.S. Trivedi, J.K. Muppala, S.P. Woolet, and B.R. Haverkort. Composite performance and dependability analysis, Performance Evaluation 14 (1992) 197–215, North Holland.

    Article  Google Scholar 

  41. K.S. Trivedi and M. Malhotra. Reliability and performability techniques and tools: A survey. In Proc. 7th ITG/GI Conference on Measurement, Modeling, and Evaluation of Computer & Communication Systems. Aachen, pp. 159–172, Sept. 1993.

    Google Scholar 

  42. K.S. Trivedi, and V.G. Kulkarni. FSPNs: Fluid Stochastic Petri Nets, Lecture Notes in Computer Science 691, Springer Verlag, 1993.

    Google Scholar 

  43. K.S. Trivedi. Probability and Statistics with Reliability, Queueing, and Computer Science Applications. Prentice Hall, Engelwood Cliffs, NJ, USA, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, Duke University, USA

    Kishor S. Trivedi

  2. Department of Computer Science, College of William and Mary, USA

    Gianfranco Ciardo

  3. AT&T Bell Laboratories, 07733, Holmdel, NJ

    Manish Malhotra

  4. 308 W. Delaware, 61801, Urbana, IL

    Sachin Garg

Authors
  1. Kishor S. Trivedi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gianfranco Ciardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manish Malhotra
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sachin Garg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cohen Jean-Pierre Quadrat

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag London Limited

About this paper

Cite this paper

Trivedi, K.S., Ciardo, G., Malhotra, M., Garg, S. (1994). Dependability and performability analysis using stochastic Petri nets. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033543

Download citation

  • DOI: https://doi.org/10.1007/BFb0033543

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19896-3

  • Online ISBN: 978-3-540-39345-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation