Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Colored GSPN Models and Automatic Symmetry Detection
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
Numerical analysis of superposed GSPNs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
ON THE USE OF KRONECKER OPERATORS FOR THE SOLUTION OF GENERALIZED STOCHASTIC PETRI NETS
ON THE USE OF KRONECKER OPERATORS FOR THE SOLUTION OF GENERALIZED STOCHASTIC PETRI NETS
ADAPTIVE RELAXATION FOR THE STEADY-STATE ANALYSIS OF MARKOV CHAINS
ADAPTIVE RELAXATION FOR THE STEADY-STATE ANALYSIS OF MARKOV CHAINS
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms
Journal of Systems and Software
Journal of Parallel and Distributed Computing
Structured analysis techniques for large Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
True state-space complexity prediction: by the proxel-based simulation method
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
Hi-index | 0.00 |
High-level modeling representations, such as stochastic Petri nets, frequently generate very large state spaces and corresponding state-transition-rate matrices. In this paper, we propose a new steady-state solution approach that avoids explicit storing of the matrix in memory. This method does not impose any structural restrictions on the model, uses Gauss-Seidel and variants as the numerical solver, and uses less memory than current state-of-the-art solvers. An implementation of these ideas shows that one can realistically solve very large, general models in relatively little memory.