In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 55-61. Universität Dortmund, Fachbereich Informatik, 1998.
Abstract: The authors discuss a number of efficiency improvements in the evaluation of steady-state probabilities of large Markov chains arising from stochsatic Petri nets in terms of memory and CPU usage. A distibuted version of the algorithm is investigated, too.