Product form for Stochastic Automata Networks

VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools

Volumn , Issue , 2007, Pages

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

^a UNIVERSITY OF VERSAILLES   (France)

^b UNIV GRENOBLE ALPES   (France)

^c NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Continuous Time Markov Chain; Product form steady state distribution; Stochastic Automata Networks

Indexed keywords

CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES; STOCHASTIC SYSTEMS;

CONTINUOUS TIME MARKOV CHAIN; CONTINUOUS-TIME; MARKOVIAN QUEUE; PRODUCT FORMS; STEADY-STATE DISTRIBUTIONS; STOCHASTIC AUTOMATA NETWORKS;

AUTOMATA THEORY;

EID: 85085774586     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/valuetools.2007.1980     Document Type: Conference Paper

References (24)

1. Anne Benoit, Paulo Fernandes, Brigitte Plateau, and William J. Stewart. On the benefits of using functional transitions and kronecker algebra. Perform. Eval., 58(4):367-390, 2004.
2. Richard J. Boucherie. A characterization of independence for competing markov chains with applications to stochastic petri nets. IEEE Trans. Software Eng., 20(7):536-544, also available as INRIA Report 1880., 1994.
3. F. Boujdaine, J.M. Fourneau, and N. Mikou. Product form solution for stochastic automata networks with synchronizations, 1997. In E. Brinksma and A. Nymeyer, editors, Proc. of 5th Process Algebra and Performance Modelling Workshop.
4. Susanna Donatelli. Superposed stochastic automata: A class of stochastic petri nets with parallel solution and distributed state space. Perform. Eval., 18(1):21-36, 1993.
5. Paolo Fernandes, Brigitte Plateau, and William J. Stewart. Optimizing tensor product computations in san. RAIRO, 32(3):325-351, 1998.
6. Paulo Fernandes, Brigitte Plateau, and William J. Stewart. Efficient descriptor-vector multiplications in stochastic automata networks. J. ACM, 45(3):381-414, 1998.
7. Jean-Michel Fourneau. Domino synchronization: product form solution for stochastic automata networks. Studia Informatica, 23(4):173-190, 2002.
8. Jean Michel Fourneau and Dominique Vercheère. G-réseaux dans un environnement aléatoire. RAIRO, 34:427-448, 2000.
9. Erol Gelenbe. Product form queueing networks with negative and positive customers. Journal of Applied Probability, 28:656-663, 1991.
10. Jane Hillston. A compositional approach to Performance Modeling. PhD thesis, University of Edinburgh, 1994.
11. Jane Hillston and Leïla Kloul. An efficient kronecker representation for pepa models. In Luca de Alfaro and Stephen Gilmore, editors, PAPM-PROBMIV, Volume 2165 of Lecture Notes in Computer Science, pages 120-135. Springer, 2001.
12. Franck P. Kelly. Reversibility and Stochastic Networks. J. Wiley, 1987.
13. Aurel A. Lazar and Thomas G. Robertazzi. Markovian petri net protocols with product form solution. Perform. Eval., 12(1):67-77, 1991.
14. Marcel F. Neuts. Matrix Geometric Solutions in Stochastic Models, an Algorithmic Approach. John Hopkins University Press, 1981.
15. Brigitte Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In SIGMETRICS, pages 147-154, 1985.
16. Brigitte Plateau and Jean-Michel Fourneau. A methodology for solving markov models of parallel systems. J. Parallel Distrib. Comput., 12(4):370-387, 1991.
17. Brigitte Plateau, Jean-Michel Fourneau, and K.H. 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, pages 291-305, 1988.
18. Brigitte Plateau and W.J. Stewart. Advances in Computational Probability, Chapter Stochastic Automata Networks, Ed. Winfried Grassmann. International Series in Operations Research and Management Science, Vol. 24, Kluwer Academic Publishers, 1999.
19. Thomas G. Robertazzi. Computer Networks and Systems: queueing networks and performance evaluation. Springer Verlag, 1994.
20. Matteo Sereno. Towards a product form solution for stochastic process algebras. Comput. J., 38(7):622-632, 1995.
21. Irvin Y. Wang and Thomas G. Robertazzi. Service stage petri net models with product form solution. Queueing Syst., 7(3):355-373, 1990.
22. Bernard 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.
23. Alexandre Zenie. Colored stochastic petri nets. In PNPM, pages 262-271. IEEE Computer Society, 1985.
24. Y. Zhu. Markovian queueing networks in a random environment. Operations Research Letters, 15:11-17, 1994.