The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Improving the efficiency of the analysis of DSPN models
Advances in Petri nets 1989
Analysis of stochastic Petri nets by the method of supplementary variables
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Modelling with Deterministic and Stochostic Petri Nets
Performance Modelling with Deterministic and Stochostic Petri Nets
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Steady State Solution of MRSPN with Mixed Preemption Policies
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
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
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
| Hi-index | 0.00 |
Conventional algorithms for the steady-state analysis of Markov regenerative models suffer from high computational costs which are caused by densely populated matrices. In this paper a new algorithm is suggested which avoids to compute these matrices explicitly. Instead, a two-stage iteration scheme is used. An extended version of uniformization is applied as a subalgorithm to compute the required transient quantities "on-the fly". The algorithm is formulated in terms of stochastic Petri nets. A detailed example illustrates the proposed concepts.