Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks

Journal of the ACM

Volumn 45, Issue 3, 1998, Pages 381-414

  Fernandes, Paulo ^a,c   Plateau, Brigitte ^a   Stewart, William J ^b,d  

^a LMC   (France)

^b NORTH CAROLINA STATE UNIVERSITY   (United States)

^c PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^d North Carolina State University   (United States)

Author keywords

Algorithms; C.4 performance of systems : Modeling techniques; G.1.3 numerical analysis : Numerical linear algebra; G.3 probability and statistics ; Generalized tensor algebra; I.6.5 simulation and modeling : Model development; Performance; Theory

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; MARKOV PROCESSES; RANDOM PROCESSES; TENSORS;

STOCHASTIC AUTOMATA NETWORKS;

NETWORKS (CIRCUITS);

EID: 0032058359     PISSN: 00045411     EISSN: None     Source Type: Journal    
DOI: 10.1145/278298.278303     Document Type: Article

References (32)

1. ABDEREZAK, T. 1992. Résolution des Modèles Markoviens sur Machines a Memoires Distribuées. Thèse de Docteur de l'Institut National Polytechnique de Grenoble, 21 September 1992, Grenoble, France.
2. ATIF, K. 1992. Modelisation du Parallelisme et de la Synchonisation. Thèse de Docteur de l'Institut National Polytechnique de Grenoble, 24 September 1992. Grenoble, France.
3. BACCELLI, F., JEAN-MARIE, A., AND MITRANI, I., EDS. 1995. Quantitative Methods in Parallel Systems. Part I: Stochastic Process Algebras. Basic Research Series. Springer-Verlag, New York.
4. BALBO, G., BRUELL, S., AND SERENO, M. 1994. Arrival theorems for product-form stochastic Petri nets. In Proceedings of the ACM SIGMETRICS Conference 1994 (Nashville, Tenn., May). ACM, New York, pp. 87-97.
5. BERGE, C. 1970. Graphs et Hypergraphes. Dunod, Paris.
6. BOUCHERIE, R. 1994. A characterization of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Trans. Softw. Engin. 20, 536-544.
7. BUCHHOLZ, P. 1992. Hierachical Markovian models - Symmetries and aggregation. In Modelling Techniques and Tools for Computer Performance Evaluation, R. Pooley, ed. J. Hillston, Edinburgh, Scotland, pp. 234-246.
8. BUCHHOLZ, P. 1993. Aggregation and reduction techniques for hierachical GCSPNs. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models (Toulouse, France, Oct.). IEEE Press, Los Alamitos, Calif., pp. 216-225.
9. BUCHHOLZ, P. 1995. Equivalence relations for stochastic automata networks. In Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains. W. J. Stewart, Ed. Kluwer International Publishers, Boston, Mass.
10. BUIS, P., AND DYKSEN, W. 1996. Efficient vector and parallel manipulation of tensor products. ACM Trans. Math Softw. 22, 18-23.
11. CHIOLA, G., DUTHEILLET, C., FRANCESCHINIS, G., AND HADDAD, S. 1993. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42, 11, 1343-1360.
12. CIARDO, G., AND TRIVEDI, K. 1991. Solution of large GSPN models. In Numerical Solution of Markov Chains. W. J. Stewart, ed. Marcel Dekker Publisher. New York, pp. 565-595.
13. DAVIO, M. 1981. Kronecker products and shuffle algebra. IEEE Trans. Comput. C-30, 2, 1099-1109.
14. DONATELLI, S. 1993. Superposed stochastic automata: A class of stochastic Petri nets with parallel solution and distributed state space. Perf. Eval. 18, 21-36.
15. FERNANDES, P., PLATEAU, B., AND STEWART, W. J. 1996. Numerical issues for stochastic automata networks. INRIA Res. Rep. No. 2938. July. Available in postscript form by anonymous ftp from ftp.inria.fr.
16. FOURNEAU, J.-M., AND QUESSETTE, F. 1995. Graphs and stochastic automata networks. In Computations with Markov chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains. W. J. Stewart, ed. Kluwer International Publishers, Boston, New York.
17. FRANCESCHINIS, G., AND MUNTZ, R. 1993. Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models (Toulouse, France, Oct.). IEEE Press, Los Alamitos, Calif., pp. 148-157.
18. HENDERSON, W., AND LUCIC, D. 1993. Aggregation and disgreggation through insensitivity in stochastic Petri nets. Perf. Eval. 17, 91-114.
19. HERMANNS, H., AND RETTLEBACH, M. 1994. Syntax, semantics, equivalences, and axioms for MTIPP. In Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling. U. Herzog, M. Rettlebach, eds. Arbeitsberichte, Band 27, No. 4, Erlangen, Nov.
20. HILLSTON, J. 1995. Computational Markovian modelling using a process algebra. In Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains. W. J. Stewart, ed. Kluwer International Publishers, Boston, Mass.
21. KEMPER, P. 1995. Closing the gap between classical and tensor-based iteration techniques. In Computations with Markov Chains; Proceedings of the 2nd International Meeting on the Numerical Solution of Markov Chains. W. J. Stewart, ed. Kluwer International Publishers, Boston, Mass.
22. PLATEAU, B. 1985. On the stochastic structure of parallelism and synchonization models for distributed algorithms. In Proceedings of the ACM SIGMETRICS Conference on Measurement and Modelling of Computer Systems (Austin, Tex., Aug.). ACM, New York, pp. 147-153.
23. PLATEAU, B., AND ATIF, K. 1991. Stochastic automata network for modelling parallel systems. IEEE Trans. Softw. Engin. 17, 10, 1093-1108.
24. PLATEAU, B., AND FOURNEAU, J. M. 1991. A methodology for solving Markov models of parallel systems. J. Paral. Dist. Comput. 12, 370-387.
25. PLATEAU, B., FOURNEAU, J. M., AND LEE, K. H. 1988. PEPS: A package for solving complex Markov models of parallel systems. In Modelling Techniques and Tools for Computer Performance Evaluation. R. Puigjaner and D. Potier, eds. (Spain, Sept.).
26. PLATEAU, B., AND STEWART, W. J. 1996. Stochastic automata networks: Product forms and iterative solutions. INRIA Res. Rep. No. 2939, July. Available in postscript form by anonymous ftp from: ftp.inria.fr.
27. SANDERS, W. H., AND MEYER, J. F. 1991. Reduced base model construction methods for stochastic activity networks. IEEE J. Sel. Areas Commun. 9, 1, 25-36.
28. SIEGLE, M. 1992. On efficient Markov modelling. In Proceedings of the QMIPS Workshop on Stochastic Petri Nets (Sophia-Antipolis, France, Nov.). pp. 213-225.
29. SIMONE, C., AND MARSAN, M. A. 1991. The application of the EB-equivalence rules to the structural reduction of GSPN models. J. Paral. Dist. Comput. 15, 3, 296-302.
30. STEWART, W. J. 1976. MARCA: Markov chain analyzer. IEEE Computer Repository No. R76 232. Also IRISA Publication Interne No. 45. Université de Rennes, Rennes, France.
31. STEWART, W. J. 1994. An Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton, N.J.
32. STEWART, W. J., ATIF, K., AND PLATEAU, B. 1995. The numerical solution of stochastic automata networks. Europ. J. Operat. Res. 86, 3, 503-525.