Abstract
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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Balbo, G., Bruell, S., Sereno, M.: Embedded processes in generalized stochastic Petri net. In: Proc. 9th Intl. Workshop on Petri Nets and Performance Models, pp. 71–80 (2001)
Boucherie, R.J.: A Characterisation of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets. IEEE Trans. on Software Eng. 20(7), 536–544 (1994)
Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science (January 2003)
Harrison, P.G.: Reversed processes, product-forms and a non-product-form. Linear Algebra and Its Applications (July 2004)
Harrison, P.G.: Compositional reversed Markov processes, with applications to G-networks. Performance Evaluation (2004)
Harrison, P.G.: Product-forms and functional rates. Performance Evaluation 66, 660–663 (2009)
Henderson, W., Taylor, P.G.: Embedded Processes in Stochastic Petri Nets. IEEE Trans. on Software Eng. 17(2), 108–116 (1991)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Kelly, F.P.: Reversibility and stochastic networks. Wiley, Chichester (1979)
Thomas, N., Zhao, Y.: Mean value analysis for a class of PEPA models. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol. 5652, pp. 59–72. Springer, Heidelberg (2009)
Thomas, N.: Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks. In: Proceedings 8th Workshop on Process Algebra and Stochastically Timed Activities. University of Edinburgh, Edinburgh (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Harrison, P.G., Thomas, N. (2011). Product-Form Solution in PEPA via the Reversed Process. In: Kouvatsos, D.D. (eds) Network Performance Engineering. Lecture Notes in Computer Science, vol 5233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02742-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-02742-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02741-3
Online ISBN: 978-3-642-02742-0
eBook Packages: Computer ScienceComputer Science (R0)