A data structure for the efficient Kronecker solution of GSPNs

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 22-31

  Ciardo, Gianfranco ^a   Miner, Andrew S ^a  

^a Dept of Economics and Thomas Jefferson Program in Public Policy at the College of William and Mary   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DIGITAL STORAGE; PETRI NETS;

KRONECKER; MATRIX DIAGRAMS; SOLUTION PROCESS; STORAGE REQUIREMENTS; TRANSITION RATE MATRIX;

MATRIX ALGEBRA;

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

References (21)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with generalized stochastic Petri nets. John Wiley & Sons, 1995.
2. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comp., 35(8):677-691, Aug. 1986.
3. R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comp. Surv., 24(3):393-318, 1992.
4. P. Buchholz. Numerical solution methods based on structured descriptions of Markovian models. In G. Balbo and G. Serazzi, editors, Computer performance evaluation, pages 251-267. Elsevier Science Publishers B.V. (North- Holland), 1991.
5. P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper. Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models. ICASE Report 97-66 (NASA/CR-97-206274), Institute for Computer Applications in Science and Engineering, Hampton, VA, 1997. Submitted for publication.
6. P. Buchholz and P. Kemper. Numerical analysis of stochastic marked graphs. In Proc. 6th Int. Workshop on Petri Nets and Performance Models (PNPM'95), pages 32-41, Durham, NC, Oct. 1995. IEEE Comp. Soc. Press.
7. G. Ciardo and A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. In Proc. IEEE International Computer Performance and Dependability Symposium (IPDS'96), page 60, Urbana-Champaign, IL, USA, Sept. 1996. IEEE Comp. Soc. Press.
8. G. Ciardo and A. S. Miner. Storage alternatives for large structured state spaces. In R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, editors, Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 1245, pages 44-57, St. Malo, France, June 1997. Springer-Verlag.
9. G. Ciardo and M. Tilgner. On the use of Kronecker operators for the solution of generalized stochastic Petri nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering, Hampton, VA, May 1996.
10. D. D. Deavours and W. H. Sanders. An efficient disk-based tool for solving very large Markov models. In R. Marie, B. Plateau, M. Calzarossa, and G. Rubino, editors, Proc. 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 1245, pages 58-71, St. Malo, France, June 1997. Springer-Verlag.
11. D. D. Deavours and W. H. Sanders. "On-the-fly" solution techniques for stochastic Petri nets and extensions. In Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM'97), pages 132-141, St. Malo, France, June 1997. IEEE Comp. Soc. Press.
12. S. Donatelli. Superposed Stochastic Automata: a class of stochastic Petri nets with parallel solution and distributed state space. Perf. Eval., 18:21-26, 1993.
13. P. Kemper. Numerical analysis of superposed GSPNs. IEEE Trans. Softw. Eng., 22(4):615-628, Sept. 1996.
14. A. S. Miner and G. Ciardo. Efficient reachability set generation and storage using decision diagrams. In H. Kleijn and S. Donatelli, editors, Application and Theory of Petri Nets 1999, Lecture Notes in Computer Science 1639 Proc. 20th Int. Conf. on Applications and Theory of Petri Nets, Williamsburg, VA, USA. Springer-Verlag, June 1999. To appear.
15. J. K. Muppala, G. Ciardo, and K. S. Trivedi. Modeling using Stochastic Reward Nets. In Proc. 1st Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'93), pages 367-372, San Diego, CA, USA, Jan. 1993. IEEE Comp. Soc. Press.
16. E. Pastor, O. Roig, J. Cortadella, and R. Badia. Petri net analysis using boolean manipulation. In R. Valette, editor, Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th Int. Conf. on Applications and Theory of Petri Nets, Zaragoza, Spain), pages 416-435. Springer-Verlag, June 1994.
17. B. Plateau. On the stochastic structure of parallelism and synchronisation models for distributed algorithms. In Proc. 1985 ACM SIGMETRICS Conf. on Measurement and Modeling of Computer Systems, pages 147-153, Austin, TX, USA, May 1985.
18. W. H. Sanders and J. F. Meyer. Reduced base model construction methods for stochastic activity networks. IEEE J. Sel. Areas in Comm., 9(1):25-36, 1991.
19. A. Srinivasan, T. Kam, S. Malik, and R. K. Brayton. Algorithms for discrete function manipulation. In International Conference on CAD, pages 92-95. IEEE Computer Society, 1990.
20. W. J. Stewart, K. Atif, and B. Plateau. The numerical solution of stochastic automata networks. Europ. J. of Oper. Res., 86:503-525, 1995.
21. M. Tilgner, Y. Takahashi, and G. Ciardo. SNS 1.0: Synchronized Network Solver. In 1st International Workshop on Manufacturing and Petri Nets, pages 215-234, Osaka, Japan, June 1996.