A numerical algorithm for the solution of product-form models with infinite state spaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6342 LNCS, Issue , 2010, Pages 191-206

  Balsamo, Simonetta ^a   Dei Rossi, Gian Luca ^a   Marin, Andrea ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFINITE STATE SPACE; MARKOVIAN MODEL; MODEL COMPONENTS; MODEL SOLUTION; MODEL SYSTEM; NON-HOMOGENEOUS; NUMBER OF STATE; NUMERICAL ALGORITHMS; OPEN PROBLEMS; PRIORI KNOWLEDGE; PRODUCT-FORM; PRODUCT-FORM MODELS; STATIONARY DISTRIBUTION; STEADY STATE SOLUTION; STOCHASTIC PETRI NETS; STOCHASTIC PROCESS; SUBMODELS; SYSTEM PERFORMANCE EVALUATION;

MARKOV PROCESSES; PETRI NETS; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 78149394011     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15784-4_13     Document Type: Conference Paper

References (14)

1. Argent-Katwala, A.: Automated product-forms with Meercat. In: SMCtools 2006: Proc. of the 2006 Workshop on Tools for solving structured Markov Chains, Pisa, Italy, p. 10. ACM, New York (2006)
2. Balsamo, S., Dei Rossi, G., Marin, A.: A tool for the numerical solution of cooperating Markov chains in product-form. In: Proc. of HET-NETs 2010, Zakopane, PL, pp. 311-324 (2010)
3. 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)
4. Chao, X.: A queueing network model with catastrophes and product form solution. Operations Research Letters 18(2), 75-79 (1995)
5. Fourneau, J.M., Kloul, L., Quessette, F.: Multiclass G-networks with jumps back to zero. In: Proc. of MASCOTS 1995, Durham, NC, USA, pp. 28-32 (March 1995)
6. Fourneau, J.M., Quessette, F.: Computing the steady-state distribution of Gnetworks with synchronized partial flushing. In: Proc. of ISCIS, 21st International Symposium, Istanbul, Turkey, pp. 887-896 (2006)
7. Gelenbe, E.: Product form networks with negative and positive customers. Journal of Applied Prob. 28(3), 656-663 (1991)
8. Harrison, P.G.: Turning back time in Markovian process algebra. Theoretical Computer Science 290(3), 1947-1986 (2003)
9. Harrison, P.G.: Compositional reversed Markov processes, with applications to Gnetworks. Perform. Eval., Elsevier 57(3), 379-408 (2004)
10. Harrison, P.G., Lee, T.T.: Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theoretical Computer Science 346(1), 161-182 (2005)
11. Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, Department of Computer Science, University of Edinburgh (1994)
12. Jackson, J.R.: Jobshop-like queueing systems. Management Science 10, 131-142 (1963)
13. Kelly, F.: Reversibility and stochastic networks. Wiley, New York (1979)
14. Marin, A., Rota Bulò, S.: A general algorithm to compute the steady-state solution of product-form cooperating Markov chains. In: Proc. of MASCOTS 2009, London, UK, pp. 515-524 (September 2009)