TY - SER AU - Deavours, Danial AU - Sanders, Wililan H. TI - "on-The-Fly" Solution Techniques for Stochastic Petri Nets and Extensions KW - Markov Model KW - Matrix-Flows on Shiefel-Manifold ER -