An effective numerical method to compute the moments of the completion time of Markov reward models

Analysis of Markov Reward Models (MRM) with preemptive resume (prs) policy results in a double transform expression, whose solution is based on the inverse transformations both in time and reward variable domain. We present a symbolic expression of moments of the completion time, from which a computationally effective recursive numerical method can be obtained.