Product form steady-state distribution for stochastic automata networks with Domino synchronizations

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

Volumn 5261 LNCS, Issue , 2008, Pages 110-124

  Fourneau, Jean Michel ^a,b  

^a UNIVERSITY OF VERSAILLES   (France)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; ROBOTS; STOCHASTIC SYSTEMS; SYNCHRONIZATION; TECHNICAL PRESENTATIONS;

CONTINUOUS-TIME; PRODUCT FORMS; PRODUCT-FORM SOLUTIONS; STEADY-STATE DISTRIBUTIONS; STOCHASTIC AUTOMATA NETWORKS;

AUTOMATA THEORY;

EID: 67651087772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87412-6_9     Document Type: Conference Paper

References (23)

1. Boucherie, R.: A Characterization of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Trans. Software Eng. 20(7), 536-544 (1994)
2. Boujdaine, F., Fourneau, J.M., Mikou, N.: Product Form Solution for Stochastic Automata Networks with synchronization. In: 5th Process Algebra and Performance Modeling Workshop, Twente, Netherlands (1997)
3. Buchholz, P., Dayar, T.: Comparison of Multilevel Methods for Kronecker-based Markovian Representations. Computing Journal 73(4), 349-371 (2004)
4. Dayar, T., Gusak, O., Fourneau, J.M.: Stochastic Automata Networks and Near Complete Decomposability. SIAM Journal and Applications 23, 581-599 (2002)
5. Dayar, T., Gusak, O., Fourneau, J.M.: Iterative disaggregation for a class of lumpable discrete-time SAN. Performance Evaluation, 2003 53(1), 43-69 (2003)
6. Donnatelli, S.: Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space. Performance Evaluation 18, 21-36 (1993)
7. Fernandes, P., Plateau, B., Stewart, W.J.: Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks. JACM, 381-414 (1998)
8. Fourneau, J.M.: Domino Synchronization: product form solution for SANs. Studia Informatica 23, 4(51), 173-190
9. Fourneau, J.M., Plateau, B., Stewart, W.: Product form for Stochastic Automata Networks. In: Proc. of ValueTools 2007, Nantes, France (2007)
10. Fourneau, J.M., Plateau, B., Stewart, W.: An Algebraic Condition for Product Form in Stochastic Automata Networks without Synchronizations. Performance Evaluation (to appear, 2008)
11. Fourneau, J.M.: Discrete Time Markov chains competing over resources: product form steady-state distribution. In: QEST 2008 (to appear, 2008)
12. Fourneau, J.M., Quessette, F.: Graphs and Stochastic Automata Networks. In: Proc. of the 2nd International Workshop on the Numerical Solution of Markov Chains, Raleigh, USA (1995)
13. Gelenbe, E.: Product form queueing networks with negative and positive customers. Journal of Applied Probability 28, 656-663 (1991)
14. Gelenbe, E.: G-networks with triggered customer movement. Journal of Applied Probability 30, 742-748 (1993)
15. Harrison, P., Hillston, J.: Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Computer Journal 38(7), 510-520 (1995)
16. Hillston, J.: A compositional approach to Performance Modeling, Ph.D Thesis, University of Edinburgh (1994)
17. Hillston, J., Thomas, N.: Product Form Solution for a Class of PEPA Models. Performance Evaluation 35(3-4), 171-192 (1999)
18. Kloul, L., Hillston, J.: An efficient Kronecker representation for PEPA models. In: de Alfaro, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol. 2165. Springer, Heidelberg (2001)
19. Plateau, B.: On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms. In: Proc. ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems, Austin, Texas (August 1985)
20. Plateau, B., Fourneau, J.M., Lee, K.H.: 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 (September 1988)
21. Plateau, B., Stewart, W.J.: Stochastic Automata Networks: Product Forms and Iterative Solutions, Inria Report 2939, France
22. Lazar, A., Robertazzi, T.: Markovian Petri Net Protocols with Product Form Solution. Performance Evaluation 12, 66-77 (1991)
23. Stewart, W.J., Atif, K., Plateau, B.: The numerical solution of Stochastic Automata Networks. European Journal of Operation Research 86(3), 503-525 (1995)