Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets

This publication has 31 references indexed in Scilit:

• A decomposition approach for stochastic Petri net models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the solution of GSPN reward models
  Performance Evaluation, 1991
• Performability analysis using semi-Markov reward processes
  IEEE Transactions on Computers, 1990
• The effect of execution policies on the semantics and analysis of stochastic Petri nets
  IEEE Transactions on Software Engineering, 1989
• Sensitivity analysis of reliability and performability measures for multiprocessor systems
  Published by Association for Computing Machinery (ACM) ,1988
• Computing Poisson probabilities
  Communications of the ACM, 1988
• The hybrid automated reliability predictor
  Journal of Guidance, Control, and Dynamics, 1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Performance-Related Reliability Measures for Computing Systems
  IEEE Transactions on Computers, 1978
• Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
  Journal of the ACM, 1975