Numerical analysis of superposed GSPNs
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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.Keywords
This publication has 10 references indexed in Scilit:
- A decomposition approach for stochastic Petri net modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The numerical solution of stochastic automata networksEuropean Journal of Operational Research, 1995
- DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri netsPerformance Evaluation, 1995
- QPN-Tool for qualitative and quantitative analysis of queueing Petri netsPublished by Springer Nature ,1994
- Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state spacePerformance Evaluation, 1993
- A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysisJournal of Parallel and Distributed Computing, 1992
- A methodology for solving markov models of parallel systemsJournal of Parallel and Distributed Computing, 1991
- Stochastic automata network of modeling parallel systemsIEEE Transactions on Software Engineering, 1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Kronecker products and shuffle algebraIEEE Transactions on Computers, 1981