ACM Transactions on Computer Systems (TOCS)
A methodology for solving Markov models of parallel systems
Journal of Parallel and Distributed Computing
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
QPN-Tool for qualitative and quantitative analysis of queueing Petri nets
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Performance Evaluation - Special issue: 6th international conference on modelling techniques and tools for computer performance evaluation
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
"On-the-Fly" Solution Techniques for Stochastic Petri Nets and Extensions
IEEE Transactions on Software Engineering
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Structured Characterization of the Markov Chain of Phase-Type SPN
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
"On-the-fly" Soltuion Techniques for Stochastic Petri Nets and Extensions
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Hierarchical Structuring of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Structured Solution of Stochastic DSSP Systems
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
| Hi-index | 0.00 |
The numerical analysis of various modeling formalisms profits from a structured representation for the generator matrix Q of the underlying continuous time Markov chain, where Q is described by a sum of tensor (kronecker) products of much smaller matrices. In this paper we describe such a representation for the class of superposed generalized stochastic Petri nets (SGSPNs). Furthermore a new iterative analysis algorithm is proposed which pays special attention to a memory efficient representation of iteration vectors as well as to a memory efficient, structured representation of Q. In consequence the new algorithm is able to solve models which have state spaces with several millions of states and where other exact numerical methods become impracticable on a common workstation.