Amalgamation of Transition Sequences in the PEPA Formalism

This report presents a proposed formal approach towards reduction of sequences in PEPA components. By performing the described amalgamation procedure we may remove, from the Markov chain underlying an initial PEPA model, those states for which detailed local balance equations cannot be formulated. This transformation may lead to a simpler model with product form solution. Some classes of reduced models preserve those performance measures which we are interested in and, moreover, the steady state solution vector is much easier to find from the computational point of view.