MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models
MRMSolve is a new analysis tool developed for the evaluation of large Markov Reward Models (MRM) that provides the moments of the accumulated reward and the completion time. MRMSolve is based on the Java technology, hence it allows to access the tool from any node connected with the Internet as long as it possesses a Java-enabled Web browser.
Unable to display preview. Download preview PDF.
- 1.S. Rácz and M. Telek. Performability analysis of Markov reward models with rate and impulse reward. In M. Silva B. Plateau, W. Stewart, editor, Int. Conf. on Numerical solution of Markov chains, pages 169–187, Zaragoza, Spain, 1999.Google Scholar