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.