Abstract
In the last few years some novel approaches have been developed to analyse Markovian stochastic models with product-form solutions. In particular RCAT [4] has proved to be a very powerful result capable to derive most of the well-known product-forms previously formulated in queueing theory or stochastic Petri net analysis contexts as well as new ones. The main idea is to define a joint-process as a cooperation among a set of models and give the condition for and the expression of the equilibrium probability distribution of the joint-states as product of the equilibrium distributions of each model considered in isolation. This paper aims to formulate an approach to deal with models whose transition rates depend on the resulting joint-states. In practice, we extend what has been introduced to solve the same problem for queueing networks [8,9] and stochastic Petri nets [5]. However, since RCAT is more general than the results that are derived for a specific model, we show that some conditions on the transition rate specification that are not present in the original formulation arise. Several examples are given to point out the application of this result and strength the intuition about the implications of the formulated conditions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Balsamo, S., Marin, A.: Queueing Networks in Formal methods for performance evaluation. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 34–82. Springer, Heidelberg (2007)
Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248–260 (1975)
Coleman, J.L., Henderson, W., Taylor, P.G.: Product form equilibrium distributions and a convolution algorithm for Stochastic Petri nets. Perform. Eval., Elsevier 26, 159–180 (1996)
Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science 290(3), 1947–1986 (2003)
Henderson, W., Lucic, D., Taylor, P.G.: A net level performance analysis of Stochastic Petri Nets. J. Austral. Math. Soc. Ser. B 31, 176–187 (1989)
Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, Department of Computer Science, University of Edimburgh (1994)
Jackson, J.R.: Jobshop-like queueing systems. Management Science 10, 131–142 (1963)
Kelly, F.: Reversibility and stochastic networks. Wiley, New York (1979)
Serfozo, R.: Markovian network processes: Congestion-dependent routing and processing. Queueing Systems 5, 5–36 (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Balsamo, S., Marin, A. (2010). Product-Form Solutions for Models with Joint-State Dependent Transition Rates. In: Al-Begain, K., Fiems, D., Knottenbelt, W.J. (eds) Analytical and Stochastic Modeling Techniques and Applications. ASMTA 2010. Lecture Notes in Computer Science, vol 6148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13568-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-13568-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13567-5
Online ISBN: 978-3-642-13568-2
eBook Packages: Computer ScienceComputer Science (R0)