An efficient disk-based tool for solving very large markov models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1245, Issue , 1997, Pages 58-71

  Deavours, Daniel D ^a   Sanders, William H ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MANUFACTURE; MARKOV PROCESSES;

ITERATION MATRICES; ITERATIVE SOLUTION METHODS; NONZERO ENTRIES; PARALLEL PROCESS; REALISTIC MODEL; SOLUTION VECTORS; SPECIAL PROPERTIES; STATE TRANSITION RATE MATRIX;

ITERATIVE METHODS;

EID: 84957371293     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0022197     Document Type: Conference Paper

References (14)

1. G. Ciardo, "Advances in compositional approaches based on Kronecker algebra: Application to the study of manufacturing systems," in Third International Workshop on Performability Modeling of Computer and Communication Systems, Bloomingdale, IL, Sept. 7-8, 1996.
2. G. Ciardo and M. Tilgner, "On the use of Kronecker operators for the solution of generalized stochastic Petri nets," ICASE Report #96-35 CR-198336, NASA Langley Research Center, May 1996.
3. D.D. Deavours and W. H. Sanders, "'On-the-fly' solution techniques for stochastic Petri nets and extensions," to appear in Petri Nets and Performance Models, 1997.
4. S. Donatelli, "Superposed generalized stochastic Petri nets: Definition and efficient solution," in R. Valette, editor, Application and Theory of Petri Nets 1994, Lecture Notes in computer science 815 (Proc. 15th Int. Conf. on Application and Theory of Petri Nets, Zaragoza, Spain), pp. 258-277, Springer-Veriag, June 1994.
5. G. Horton, "Adaptive Relaxation for the Steady-State Analysis of Markov Chains," ICASE Report #94-55 NASA CR-194944, NASA Langley Research Center, June 1994.
6. P. Kemper, "Numerical analysis of superposed GSPNs," in Proc. Int. Workshop on Petri Nets and Performance Models (PNPM'95), pp. 52-61, Durham, NC, Oct. 1995. IEEE Comp. Soc. Press.
7. P. Kemper, "Numerical Analysis of Superposed GSPNs," in IEEE Transactions on Software Engineering, 1996, to appear.
8. Y. Li, "Solution Techniques for Stochastic Petri Nets," Ph.D. Dissertation, Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, May 1992.
9. J. F. Meyer, A. Movaghar, and W. H. Sanders, "Stochastic activity networks: Structure, behavior, and application," In Proc. International Workshop on Timed Petri Nets, pp. 106-115, Torino, Italy, July 1985.
10. A. Movaghar and J. F. Meyer, "Performability modeling with stochastic activity networks," In Proc. 1984 Real-Time Systems Syrup., Austin, TX, December 1984.
11. W. H. Sanders, W. D. Obal II, M. A. Qureshi, F. K. Widjanarko, "The UltraSAN modeling environment," in Performance Evaluation, pp. 89-115, Vol. 24, 1995.
12. W. J. Stewart, "Introduction to the Numerical Solution of Markov Chains," Princeton University Press, 1994.
13. A. S. Tanenbaum, Modern Operating Systems, Prentice Hall, 1992.
14. C. M. Woodside and Y. Li, "Performance Petri Net Analysis of Communications Protocol Software by Delay-Equivalent Aggregation," in Proc. Fourth Int. Workshop on Petri Nets and Performance Models, pp. 64-73, Melbourne, Australia, Dec. 2-5, 1991.