"On-the-fly" solution techniques for stochastic petri nets and extensions

IEEE Transactions on Software Engineering

Volumn 24, Issue 10, 1998, Pages 889-902

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

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

Author keywords

Markov models; Matrix free methods; Stochastic petri nets

Indexed keywords

DATA STORAGE EQUIPMENT; MARKOV PROCESSES; MATHEMATICAL MODELS; MATRIX ALGEBRA; NUMERICAL METHODS; PETRI NETS;

MATRIX FREE METHODS; STOCHASTIC PETRI NETS;

COMPUTATIONAL METHODS;

EID: 0032180604     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.729691     Document Type: Article

References (16)

1. G. Chiola and G. Franceschinis, "Colored GSPN Models and Automatic Symmetry Detection," Proc. Int'l Workshop Pétri Nets and Performance Models (PNPM'89), Kyoto, Japan, pp. 50-60, Dec. 1989.
2. W.H. Sanders and J.F. Meyer, "Reduced Base Model Construction Methods for Stochastic Activity Networks," IEEE }. Selected Areas in Comm., vol. 9, no. 1, pp. 25-36, Jan. 1991.
3. B. Plateau and K. Atif, "Stochastic Automata Network for Modeling Parallel Systems," IEEE Trans. Software Eng., vol. 17, no. 10, pp. 1,093-1,108, Oct. 1991.
4. W.J. Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, 1994.
5. S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," Application and Theory of Petri Nets 1994, Proc. 15th Int'l Conf. Application and Theory of Petri Nets, R. Valette, éd., pp. 258-277, Lecture Notes in Computer Science 815, Zaragoza, Spain, Springer-Verlag, June 1994.
6. P. Kemper, "Numerical Analysis of Superposed GSPNs," Proc. Sixth Int'l Workshop Petri Nets and Performance Models, pp. 52-61, Durham, N. C, Oct. 1995.
7. P. Kemper, "Numerical Analysis of Superposed GSPNs," IEEE Trans. Software Eng., vol. 22, no. 9, pp. 615-628, Sept. 1996.
8. 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.
9. G. Ciardo, "Advances in Compositional Approaches Based on Kronecker Algebra: Application to the Study of Manufacturing Systems," Proc. Third Int'l Workshop Performability Modeling of Computer and Comm. Systems, pp. 61-65, Bloomingdale, 111., Sept. 1996.
10. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
11. J.F. Meyer, A. Movaghar, and W.H. Sanders, "Stochastic Activity Networks: Structure, Behavior, and Application," Proc. Int'l Workshop Timed Petri Nets, pp. 106-115, Torino, Italy, July 1985.
12. A. Movaghar and J.F. Meyer, "Performability Modeling with Stochastic Activity Networks," Proc. 1984 Real-Time Systems Symp., pp. 215-224, Austin, Texas, Dec. 1984.
13. G. Ciardo, A. Blakemore, P.F.J. Chimento, J.K. Muppala, and K.S. Trivedi, "Automatic Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets," Linear Algebra, Markov Chains, and Queueing Models, C. Meyer and R.J. Plemmons, eds., pp. 141-191.Springer-Verlag, 1993.
14. G. Horton, "Adaptive Relaxation for the Steady-State Analysis of Markov Chains," Computations with Markov Chains, pp. 585-586. Boston: Kluwer Academic, 1995.
15. 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.
16. U. Rüde, "On the Multilevel Adaptive Iterative Method," Preliminary Proc. Second Copper Mountain Conf. Iterative Methods, T. Manteuffel, ed., SIAM, Apr. 1992.