DocumentCode
1026203
Title
Exact parametric analysis of stochastic Petri nets
Author
Li, Man ; Georganas, Nicolas D.
Author_Institution
Dept. of Electr. Eng., Ottawa Univ., Ont., Canada
Volume
41
Issue
9
fYear
1992
fDate
9/1/1992 12:00:00 AM
Firstpage
1176
Lastpage
1180
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
Markov processes; Petri nets; matrix algebra; Markov chains; aggregation; column permutations; decomposition; diagonal submatrix; exact parametric analysis; row permutations; stochastic Petri nets; transition rate of interest; Algorithm design and analysis; Communication systems; Computational efficiency; Concurrent computing; Manufacturing systems; Performance analysis; Petri nets; Protocols; Stochastic processes; Stochastic systems;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/12.165403
Filename
165403
Link To Document