Amalgamation of Transition Sequences in the PEPA Formalism


This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, those states for which local detailed 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 is much easier computationally.

Extracted Key Phrases

5 Figures and Tables

Cite this paper

@inproceedings{Hillston2000AmalgamationOT, title={Amalgamation of Transition Sequences in the PEPA Formalism}, author={Jane Hillston and J. Tomasik}, booktitle={ICALP Satellite Workshops}, year={2000} }