Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

IEEE Transactions on Software Engineering

Volumn 22, Issue 9, 1996, Pages 603-614

  Qureshi, Muhammad A ^a   Sanders, William H ^a   Van Moorsel, Aad P A ^a   German, Reinhard ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

Markov processes; Stochastic activity networks; Stochastic petri nets; Well defined; Well specified

Indexed keywords

EID: 0038241198     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.541432     Document Type: Article

References (13)

1. W.H. Sanders and J.F. Meycr, "A Unified Approach for Specifying Measures of Performance, Dependability, and Performability," Dependable Computing for Critical Applications, A. Aviziems and J.C. Laprie, eds., vol. 4 of Dependable Computing and FaultTolerant Systems, pp. 215-238. Springer-Verlag, 1991.
2. G. Ciardo, A. Blackmore, P.P. Chimento, J.K. Muppala, and K.S. Trivedi, "Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets," Linear Algebra, Markov Chains, and Queueing Models. Springer-Verlag, 1993.
3. M.A. Marsan, G. Balbo, and G. Conte, "A Class of Generalized Petri Nets for Performance and Evaluation of Multiprocessor Systems," ACM Trans. Computer Systems, vol. 2, pp. 93-122, May 1984.
4. J.F. Vleyer, A. Movaghar, and W.H. Sanders, "Stochastic Activity Networks: Structure, Behavior, and Application," Proc. Int'l Workshop on Timed Petri Nets, Torino, Italy, pp. 106-115, July 1985.
5. M.K. Molloy, "Performance Aalysis Using Sstochastic Petri Nets," IEEE Trans. Computers, vol. 31, pp. 913-917, Sept.1982.
6. A. Movaghar and J.F. Meyer, "Performability Modeling with Stochastic Activity Networks," Proc. Real-Time Systems Symp., Austin, Tex., Dec. 1984.
7. G. Chiola, M.A. Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications," IEEE Trans, Software Eng, vol. 19, pp. 89-107, Feb. 1993.
8. G. Balbo, G. Chiola, G. Franceschinis, and G.M. Roet, "Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets," Proc. Int'l Workshop on Timed Petri Nets, Madison, Wisconsin, Aug. 1987.
9. G. Chiola, "A Graphical Petri Net Tool for Performance Analysis," Proc. Third Int'l Workshop on Modeling Techniques and Performance Evaluation, AFCET, Paris, France, pp. 136-145, Mar. 1987.
10. W.H. Sanders, "Construction and Solution of Performability Models Based on Stochastic Activity Networks," PhD thesis, Univ. of Michigan, 1988.
11. G. Ciardo and R. Zijal, "Well-Defined Stochastic Petri Nets," Proc. Fourth Int'l Workshop on Modelling, Analysis and Simulation of Computer and Télécommunication Systems, MASCOTS'96, San Jose, Calif, pp. 278-284, Feb. 1996.
12. G. Ciardo, R. German, and C. Lindemann, "A Characterization of the Stochastic Process Underlying a Stochastic Petri Net," IEF.E Trans. Software Eng., vol. 20, pp. 506-515, July 1994.
13. W.H. Sanders, W.D. Obal, M.A. Qureshi, and F.K. Widjanarko, "The UllraSAN Modeling Lnvironment," Performance Evaluation, vol. 24, pp. 89-115,1995.