An algebraic condition for product form in stochastic automata networks without synchronizations

Performance Evaluation

Volumn 65, Issue 11-12, 2008, Pages 854-868

  Fourneau, J M ^a   Plateau, B ^b   Stewart, W J ^c  

^a UNIVERSITY OF VERSAILLES   (France)

^b UNIV GRENOBLE ALPES   (France)

^c North Carolina State University   (United States)

Author keywords

Competing Markov chains; Continuous time Markov chains; Modulated networks of queues; Product form steady state distribution; Stochastic automata networks

Indexed keywords

ALGEBRA; AUTOMATA THEORY; CHAINS; CONTINUOUS TIME SYSTEMS; QUEUEING NETWORKS; QUEUEING THEORY; STOCHASTIC SYSTEMS;

ALGEBRAIC CONDITIONS; CONTINUOUS TIME MARKOV CHAIN; CONTINUOUS-TIME; MARKOVIAN QUEUE; MODULATED NETWORKS OF QUEUES; MULTI-DIMENSIONAL MARKOV CHAINS; STEADY-STATE DISTRIBUTIONS; STOCHASTIC AUTOMATA NETWORKS;

MARKOV PROCESSES;

EID: 53449098735     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2008.04.007     Document Type: Article

References (26)

1. Benoit B.P.A., Fernandes P., and Stewart W.J. On the benefits of using functional transitions and Kronecker algebra. Performance Evaluation 58 4 (2004) 367-390
2. Boucherie R.J. A characterization of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Transaction on Software Engineering 20 7 (1994) 536-544 also available as INRIA Report 1880
3. F. Boujdaine, J. Fourneau, N. Mikou, Product form solution for stochastic automata networks with synchronizations., in: E. Brinksma, A. Nymeyer (Eds.), Proc. of 5th Process Algebra and Performance Modelling Workshop, Twente, The Netherlands, available as CTIT Techreport 97-14, 1997
4. Donatelli S. Superposed stochastic automata: A class of stochastic Petri nets with parallel solution and distributed state space. Performance Evaluation 18 1 (1993) 21-36
5. Fernandes P., Plateau B., and Stewart W.J. Efficient descriptor-vector multiplications in stochastic automata networks. Journal of the ACM 45 3 (1998) 381-414
6. Fourneau J.-M. Domino synchronization: Product form solution for stochastic automata networks. Studia Informatica 23 4 (2002) 173-190
7. Fourneau J.-M., and Verchère D. G-réseaux dans un environnement aléatoire. RAIRO-Operations Research 34 (2000) 427-448
8. Gelenbe E. Product form queueing networks with negative and positive customers. Journal of Applied Probability 28 (1991) 656-663
9. Gelenbe E. G-networks with triggered customer movement. Journal of Applied Probability 30 (1993) 742-748
10. Harrison P. Turning back time in markovian process algebra. Theoretical Computer Science 290 3 (2003) 1947-1986
11. Harrison P. Compositional reversed markov processes, with applications to g-networks. Performance Evaluation 57 3 (2004) 379-408
12. J. Hillston, A compositional approach to performance modeling., Ph.D. Thesis, University of Edinburgh, 1994
13. Hillston J., and Kloul L. An efficient Kronecker representation for PEPA models. In: de Alfaro L., and Gilmore. S. (Eds). PAPM-PROBMIV. Lecture Notes in Computer Science vol. 2165 (2001), Springer
14. Hillston J., and Kloul L. Formal techniques for performance analysis: Blending SAN and PEPA. Formal Aspect of Computing 19 1 (2007) 3-33
15. Kelly F.P. Reversibility and Stochastic Networks (1987), J. Wiley
16. Lazar A.A., and Robertazzi T.G. Markovian Petri net protocols with product form solution. Performance Evaluation 12 1 (1991) 67-77
17. Neuts M.F. Matrix Geometric Solutions in Stochastic Models, an Algorithmic Approach (1981), John Hopkins University Press
18. B. Plateau, On the stochastic structure of parallelism and synchronization models for distributed algorithms., in: ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, Austin, Texas, 1985
19. Plateau B., and Fourneau J.-M. A methodology for solving Markov models of parallel systems. Journal on Parallel and Distributed Computing 12 4 (1991) 370-387
20. B. Plateau, J.-M. Fourneau, K. Lee, PEPS: A package for solving complex Markov models of parallel systems., in: Proceedings of the 4th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, Majorca, Spain, 1988
21. Plateau B., and Stewart W. In: Grassmann W. (Ed). Advances in Computational Probability, Chapter Stochastic Automata Networks. International Series in Operations Research and Management Science vol. 24 (1999), Kluwer Academic Publishers
22. Robertazzi T.G. Computer Networks and Systems: Queueing Networks and Performance Evaluation (1994), Springer Verlag
23. Wang I.Y., and Robertazzi T.G. Service stage Petri net models with product form solution. Queueing System 7 3 (1990) 355-373
24. B. Ycart, The philosopher's process: an ergodic reversible nearest particle system., research report, Laboratoire de Mathématiques appliquées, Université de Pau et des Pays de l'Adour, 1991
25. A. Zénié, Colored stochastic Petri nets., in: IEEE International Workshop on Timed Petri Nets (PNPM), Torino, Italy, 1985
26. Zhu Y. Markovian queueing networks in a random environment. Operations Research Letters 15 (1994) 11-17