For the most recent entries see the Petri Nets Newsletter.

An Efficient Disk-based Tool for Solving Very Large Markov Models.

Deavours, D.D.; Sanders, W.H.

In: Proceedings of the 9th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS '97), June 3-6, 1997, pages 58-71. June 1997.

Abstract: An implementation of block Gauss-Seidel specifically intended for use on Markov chains generated by UltraSAN or a GSPN tool is discussed. Two examples of large models and results for a 10 million state model with 100 million non-zero entities are shown.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography