Aggregation techniques; Bisimilarity; CTMCs; Lumpability; Process algebra

In this paper, we deal with the lumpability approach to cope with the state space explosion problem inherent to the computation of the stationary performance indices of large stochastic models. The lumpability method is based on a state aggregation …