State space exploration in Markov models
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
A decomposition approach for stochastic reward net models
Performance Evaluation
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)
Mean value analysis of stochastic Petri nets
Performance Evaluation
On generating a hierarchy for GSPN analysis
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Using the exact state space of a Markov model to compute approximate stationary measures
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Structured analysis approaches for large Markov chains
Applied Numerical Mathematics
Comparison of Partitioning Techniques for Two-Level Iterative Solvers on Large, Sparse Markov Chains
SIAM Journal on Scientific Computing
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Structured Solution of Asynchronously Communicating Stochastic Modules
IEEE Transactions on Software Engineering
Hierarchical Structuring of Superposed GSPNs
IEEE Transactions on Software Engineering
INFORMS Journal on Computing
A Data Structure for the Efficient Kronecker Solution of GSPNs
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Matrix-geometric solution of infinite stochastic Petri nets
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Structured analysis techniques for large Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Approximate transient analysis of large stochastic models with WinPEPSY-QNS
Computer Networks: The International Journal of Computer and Telecommunications Networking
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
Approximation of discrete-time polling systems via structured Markov chains
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Memory efficient analysis for a class of large structured Markov chains: work in progress
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Product form approximations for communicating Markov processes
Performance Evaluation
Stochastic Petri net models of Ca2+ signaling complexes and their analysis
Natural Computing: an international journal
Lumping and reversed processes in cooperating automata
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
Algorithmic product-form approximations of interacting stochastic models
Computers & Mathematics with Applications
| Hi-index | 0.00 |
We present a new approximate solution technique for the numerical analysis of stochastic Petri nets and related models. The approach combines numerical iterative solution techniques and fixed point computations using the complete knowledge of state space and generator matrix. In contrast to other approximation methods, the proposed method is adaptive by considering states with a high probability in detail and aggregating states with small probabilities. Probabilities are approximated by the results derived during the iterative solution. Thus, a maximum number of states can be predefined and the presented method automatically aggregates states such that the solution is computed using a vector of a size smaller or equal to the maximum. By means of non-trivial examples it is shown that the approach computers good approximations with a low effort for many models.