Product-Form Solution in PEPA via the Reversed Process

In this paper we use the reversed process to derive expressions for the steady state probability distribution of a class of product-form PEPA models. In doing so we exploit the Reversed Compound Agent Theorem (RCAT) to compute the rates within reversed components of a model. The class of model is, i...

Full description

Saved in:
Bibliographic Details
Published inNetwork Performance Engineering pp. 343 - 356
Main Authors Harrison, Peter G., Thomas, Nigel
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2011
SeriesLecture Notes in Computer Science
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary:In this paper we use the reversed process to derive expressions for the steady state probability distribution of a class of product-form PEPA models. In doing so we exploit the Reversed Compound Agent Theorem (RCAT) to compute the rates within reversed components of a model. The class of model is, in essence, a generalised, closed, queueing network that might also be solved by mean value analysis, if full distributions are not needed, or approximated using a fluid flow approximation. A general formulation of RCAT is given and the process is illustrated with a running example, including several new variations that consider effects such as multiple servers, competing services and functional rates within actions.
ISBN:3642027415
9783642027413
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-02742-0_16