In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 327-345. Springer-Verlag, June 1996.
Abstract: In the area of the numerical analysis of stochastic Petri Nets we present an algorithm which enables the reduction of storage requirements for generator matrices of the underlying Markov chain. We show that neither the generator matrix nor `parts' of them need be generated and stored. The solvable model class contains the superposed stochastic automatas defined by Donatelli as a special case. The state spaces of the underlying Markov chains in the examples range from about 107 up to 108 states with up to 109 matrix entries and we show that for such models a solution is possible. Further, this algorithm can be easily integrated in tools which contain iterative numerical solution techniques.