Exact parametric analysis of stochastic Petri nets
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 41 (9) , 1176-1180
- https://doi.org/10.1109/12.165403
Abstract
An algorithm for exact parametric analysis of stochastic Petri nets is presented. The algorithm is derived from the theory of decomposition and aggregation of Markov chains. The transition rate of interest is confined into a diagonal submatrix of the associated Markov chain by row and column permutations. Every time a new value is assigned to the transition, a smaller Markov chain is analyzed. As a result, the computational cost is greatly reduced.Keywords
This publication has 5 references indexed in Scilit:
- Time scale decomposition of a class of generalized stochastic Petri net modelsIEEE Transactions on Software Engineering, 1989
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- Error Minimization in Decomposable Stochastic ModelsPublished by Springer Nature ,1982
- Exact Aggregation in Exponential Queueing NetworksJournal of the ACM, 1978
- Aggregation of Variables in Dynamic SystemsEconometrica, 1961