Compact representations of probability distributions in the analysis of superposed GSPNs

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 81-90

  Buchholz, Peter ^a   Kemper, Peter ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Kronecker Representation; Numerical Analysis; Probabilistic Decision Graph; Superposed GSPN

Indexed keywords

CHAINS; ITERATIVE METHODS; PROBABILITY DISTRIBUTIONS;

COMPACT REPRESENTATION; DECISION GRAPHS; EXPLOSION PROBLEMS; KRONECKER REPRESENTATIONS; PROBABILISTIC DECISION GRAPH; PROBABILISTIC DECISIONS; PROBABILITY: DISTRIBUTIONS; STATE-SPACE; STATE-SPACE EXPLOSION; SUPERPOSED GSPN;

MARKOV PROCESSES;

EID: 0042355583     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953358     Document Type: Conference Paper

References (27)

1. M. Ajmone-Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with generalized stochastic Petri nets. Wiley, 1995.
2. C. Baier, E. Clarke, V. Garmhausen-Hartonas, M. Kwiatkowska, and M. Ryan. Symbolic model checking for probabilistic processes. In Proc.ICALP97. Springer LNCS 1256,1997.
3. F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. In Proc. TOOLS’98.Springer LNCS 1469,1998.
4. M. Bozga and O. Maler. On the representation of probabilities over structured domains. In Proc. CAV’99.Springer LNCS 1633, 1999.
5. P. Buchholz. Numerical solution methods based on structured descriptions of Markovian models. In Proc. TOOLS’92.Elsevier, 1992.
6. P. Buchholz. Hierarchical structuring of superposed GSPNs. IEEE Transactions on Software Engineering, 25(2):166-1 81, 1999.
7. P. Buchholz. Structured analysis approaches for large Markov chains. Applied Numerical Mathematics, 31(4):375-404,1999.
8. P. Buchholz, G.Ciardo, S. Donatelli, and P. Kemper. Complexity of Kronecker operations and sparse matrices with applications to the solution of Markov models. INFORMS J. on Computing, 12(3):203-222,2000.
9. P.Buchholz and P. Kemper. Efficient computation and representation of large reachability sets for composed automata. In Discrete Event Systems Analysis and Control. Kluwer Academic, 2000.
10. J. Campos, M. Silva, and S. Donatelli. Structured solution of asynchronously communicating stochastic modules. IEEE Trans. on Software Engineering, 25(2):147-165, 1999.
11. G. Ciardo and A. S. Miner. Storage alternatives for large structured state spaces. In Proc. TOOLS’97. Springer LNCS 1245,1997.
12. G. Ciardo and A. S. Miner. A data structure for the efficient Kronecker solution of GSPNs. In Proc. PNPM’99.IEEE CS-Press, 1999.
13. G. Ciardo and A. S. Miner. Using the exact state space of a model to compute approximate stationary measures. In Proc. ACM Sigmetrics. ACM Press, 2000.
14. D. D. Deavours and W. H. Sanders. An efficient disk-based tool for solving very large markov models. In Computer Performance Evaluation 1997. Springer LNCS 1245,1997.
15. D. D. Deavours and W. H. Sanders. On the fly techniques for stochastic Petrinets and extensions. In Proc. PNPM’97. IEEE CS-Press, 1997.
16. S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In Proc. ATPN’94.Springer LNCS 815, 1994.
17. S. Donatelli. Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution. Performance Evaluation, 18:21-36,1994.
18. P. Fernandes, B. Plateau, and W. J. Stewart. Efficient descriptor-vector multiplication in stochastic automata networks. JACM, 45(3):381-414, 1998.
19. G.D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Markovian analysis of large finite state machines. IEEE Trans. on Computer Aided Design, 15(12):1479-1493, 1996.
20. P. Kemper. Numerical analysis of superposed GSPNs. IEEE Trans. on Software Engineering, 22(9):615-628,1996.
21. P. Kemper. Reachability analysis based on structured representations. In Application and Theory of Petri Nets 1996. Springer LNCS 1091,1996.
22. P. Kemper. Transient analysis of superposed GSPNs. IEEE Trans. on Software Engineering, 25(2):182-193,1999.
23. B. Plateau. On the stochastic structure of parallelism and synchronisation models for distributed algorithms. Performance Evaluation Review, 13:142-154,1985.
24. M. Siegle. BDD extensions for stochastic transition systems. In Proc. 13th UK Performance Evaluation Workshop, 1997.
25. W. J. Stewart. Introduction to the numerical solution of Markov chains. Princeton Univ. Press, 1994.
26. E. Uysal and T. Dayar. Iterative methods based on splittings for stochastic automata networks. European J. of Operational Res., 110(1):166-186,1998.
27. A. Xie and P. Beerel. Efficient state classification of finite state Markov chains. IEEE Trans. on Computer Aided Design, 17(12),1998.