András Horváth, Lorenzo Ridi, Enrico Vicario
We extend the approach providing a way to derive continuous time transient probabilities. To this end, stochastic state classes are extended with a supplementary age clock that enables symbolic derivation of the distribution of times at which the states of a zone can be reached. The approach is amenable to efficient implementation when model timings are given by expolynomial distributions, and it can in principle be applied to transient analysis with any given time bound for any GSMP. In the special case of models underlying a Markov Regenerative Process (MRP), the method can also be applied to symbolic derivation of local and global kernels, which in turn provide transient probabilities through numerical integration of generalized renewal equations. Since much of the complexity of this analysis is due to the local kernel, we propose a selective derivation of its entries depending on the specific transient measure targeted by the analysis.