A new disk-based technique for solving the largeness problem of stochastic modeling formalisms

Journal of Systems and Software

Volumn 72, Issue 3, 2004, Pages 349-365

  Koriem, Samir M ^a,c   El Kilani, W S ^b  

^a AL AZHAR UNIVERSITY   (Egypt)

^b Menoufia University   (Egypt)

^c Abha Coll of Technol   (Saudi Arabia)

Author keywords

Direct methods; Disk based segmentation; Gauss elimination; Largeness tolerance methods; Markov chain; Stochastic reward nets

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SYSTEMS; ITERATIVE METHODS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBLEM SOLVING;

DIRECT METHODS; DISK BASED SEGMENTATION; GAUSS ELIMINATION; LARGENESS TOLERANCE METHODS; STOCHASTIC REWARD NETS;

RANDOM PROCESSES;

EID: 2942627574     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(03)00210-3     Document Type: Article

References (22)

1. Abdallah, H., Hamza, M., Arabnia, H.R., 2000. Sensitivity computation of the expected accumulated reward of stiff Markov models. in: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Monte Carlo Resort, Las Vegas, Nevada, USA, vol. 3, pp. 1415-1421.
2. Buchholz P., Ciardo G., Kemper P., Donatelli S. Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. INFORMS Journal on Computing. 13(3):2000;203-222.
3. Buchholz P., Kemper P. Quantifying the dynamic behavior of process algebras. Proceedings of the Joint PAPM-PROBMIV Workshop, Aachen, Germany. Lecture Notes in Computer Science. vol. 2165:2001;184-199 Springer-Verlag.
4. Buchholz P. Hybrid analysis of SGSPNs with time-dependent transition rates. Performance Evaluation. 44(1-4):2001;187-209.
5. Buchholz P., Kemper P. Compact representations of probability distributions in analysis of superposed GSPNs. Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany. 2001;81-90 IEEE CS Press.
6. Chiola G., Franceschinis G., Gaeta R., Ribaudo M. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Performance Evaluation. 24(1-2):1995;47-68.
7. Deavours D.D., Sanders W.H. An efficient disk-based tool for solving large models. Performance Evaluation. 33(1-2):1998;67-84.
8. Deavours D.D., Sanders W.H. On-the-fly solution techniques for stochastic Petri nets and extensions. IEEE Transactions on Software Engineering. 24(10):1998;889-902.
9. Donatelli S., Kemper P. Integrating synchronization with priority into a Kronecker representation. Performance Evaluation. 44(1-4):2001;73-96.
10. German R. Iterative analysis of Markov regenerative models. Performance Evaluation. 44(1-4):2001;51-72.
11. Goseva-Popstojanova K., Trivedi K.S. Stochastic modeling formalisms for dependability, performance and performability. Lecture Notes in Computer Science. vol. 1769:2000;403-422 Springer-Verlag.
12. Gribaudo M., Sereno M., Horvath A., Bobbio A. Fluid stochastic Petri nets augmented with flush-out arcs: modelling and analysis. Discrete Event Dynamic Systems: Theory & Applications. 11(1-2):2001;97-117.
13. Haverkort, B.R., Boudewijn, R., Alexander, O., 1997. Steady-state Analysis of Infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method. In: Proceedings of the 7th International Workshop on Petri Nets and Performance Models, Saint Malo, France, pp. 36-45.
14. Hermanns H., Herzog U., Katoen J.-P. Process algebra for performance evaluation. Theoretical Computer Science. 274(1-2):2002;43-87.
15. Hirel, C., Trivedi, K.S., Tuffin, B., 2000. SPNP Version 6.0. In: Lecture Notes in Computer Science, vol. 1786, Springer-Verlag, pp. 354-357.
16. Lindemann C. DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets. Performance Evaluation. 22(1-2):1995;3-21.
17. Mahevas S., Rubino G. Bound computation of dependability and performance measures. IEEE Transactions on Computers. 50(5):2001;399-413.
18. Nicola V.F., Shahabuddin P., Nakayama M.K. Techniques for fast simulation of models of highly dependable systems. IEEE Transactions on Reliability. 50(3):2001;246-264.
19. Plateau, B., Stewart, W.J., Silva, M., 1999. Numerical solution of Markov chains. In: Proceedings of the 3rd International Conference on Numerical solution of Markov chains, Prensas Universitarias de Zaragoza, Spain, pp. 435-448.
20. Qureshi M.A., Sanders W.H., Van Moorsel A.P.A., German R. Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. IEEE transactions on Software Engineering. 22(9):1996;603-614.
21. Ramani, S., Trivedi, K.S., Dasarathy, B., 2000. Performance analysis of the CORBA event service using stochastic reward nets. In: Proceedings of the 19th Symposium on Reliable Distributed Systems, Nurnberg, Germany, pp. 238-247.
22. Stewart W.J. Introduction to the Numerical Solution of Markov Chains. 1994;Princeton University Press.