A general algorithm to compute the steady-state solution of product-form cooperating Markov chains

Proceedings - IEEE Computer Society's Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS

Volumn , Issue , 2009, Pages 515-524

  Marin, Andrea ^a   Bulò, Samuel Rota ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TOOLS; COMPOUND AGENTS; G-NETWORKS; ITERATIVE ALGORITHM; JACKSON; JACKSON NETWORKS; MARKOV CHAIN; NETWORK SOLUTIONS; NEW RESULTS; PRODUCT-FORM; SOFTWARE TOOL; STEADY STATE SOLUTION; STOCHASTIC PROCESS;

ALGORITHMS; CONVERGENCE OF NUMERICAL METHODS; LINEAR SYSTEMS; MARKOV PROCESSES; NONLINEAR SYSTEMS; QUEUEING NETWORKS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; TELECOMMUNICATION SYSTEMS;

COMPUTER SIMULATION;

EID: 76349115115     PISSN: 15267539     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MASCOT.2009.5366744     Document Type: Conference Paper

References (19)

1. J. Hillston, "A Compositional Approach to Performance Modelling," Ph.D. dissertation, Department of Computer Science, University of Edinburgh, 1994.
2. J. R. Jackson, "Jobshop-like queueing systems," Management Science, vol. 10, pp. 131-142, 1963.
3. F. Baskett, K. M. Chandy, R. R. Muntz, and F. G. Palacios, "Open, closed, and mixed networks of queues with different classes of customers," J. ACM, vol. 22, no. 2, pp. 248-260, 1975.
4. A. A. Lazar and T. G. Robertazzi, "Markovian Petri Net Protocols with Product Form Solution." in IEEE INFOCOM'87, The Conf. on Computer Communications, Proc., Sixth Annual Conference - Global Networks: Concept to Realization. Washington, DC: IEEE Computer Society Press, 1987, pp. 1054-1062.
5. W. Henderson, D. Lucic, and P. G. Taylor, "A net level performance analysis of Stochastic Petri Nets," J. Austral. Math. Soc. Ser. B, vol. 31, pp. 176-187, 1989.
6. E. Gelenbe, "Product form networks with negative and positive customers," Journal of Applied Prob., vol. 28, no. 3, pp. 656-663, 1991.
7. J. M. Fourneau, "Computing the steady-state distribution of networks with positive and negative customers," in 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, 1991.
8. E. Gelenbe and R. Suros, "G-networks with multiple classes of negative and positive customers," in Theoret. Comput. Sci., 1996, pp. 141-156.
9. P. G. Harrison, "Turning back time in Markovian process algebra," Theoretical Computer Science, vol. 290, no. 3, pp. 1947-1986, January 2003. [Online]. Available: http://pubs.doc.ic.ac.uk/rcat/
10. -, "Reversed processes, product forms and a non-product form," Linear Algebra and Its Applications, vol. 386, pp. 359-381, July 2004. [Online]. Available: http://pubs.doc.ic.ac.uk/ercat/
11. P. G. Harrison and T. T. Lee, "Separable equilibrium state probabilities via time reversal in markovian process algebra," Theoretical Computer Science, vol. 346, no. 1, pp. 161-182, 2005.
12. P. G. Harrison, "Reversed processes, product forms, non-product forms and a new proof of the BCMP theorem," in Int. Conf. on the Numerical Solution of Markov Chains (NSMC 2003), Urbana IL, USA, September 2-5 2003, September 2003, pp. 289-304. [Online]. Available: http://pubs.doc.ic. ac.uk/rcat2-nsmc/
13. -, "Compositional reversed Markov processes, with applications to G-networks," Perform. Eval., Elsevier, vol. 57, no. 3, pp. 379-408, 2004.
14. A. Argent-Katwala, "Automated product-forms with meercat," in SMC-tools 06: workshop on Tools for solving structured Markov chains, vol. 201, no. 10, Pisa, Italy, 2006, p. 10.
15. S. Chabridon, E. Gelenbe, M. Hernand̀ez, and A. Labed, "G-networks: A survey of results, applications and solutions," in Quantitative Methods in Parallel Systems. Springer, 1995, pp. 114-128.
16. F. Kelly, Reversibility and stochastic networks. New York: Wiley, 1979.
17. J.-M. Fourneau and F. Quessette, "Computing the steady-state distribution of G-networks with synchronized partial flushing," in ISCIS, 21th International Symposium, Istanbul, Turkey, 2006, pp. 887-896.
18. J. Fourneau, E. Gelenbe, and R. Suros, "G-networks with multiple class negative and positive customers," in MASCOTS '94: Proc. of the Second Int. Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems. Washington, DC, USA: IEEE Computer Society, 1994, pp. 30-34.
19. R. Tarjan, "Depth-first search and linear graph algorithms," SIAM J. on Computing, vol. 1, no. 2, pp. 146-160, 1972.