This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Exact Parametric Analysis of Stochastic Petri Nets
September 1992 (vol. 41 no. 9)
pp. 1176-1180

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.

[1] H. H. Ammar, "Time scale decomposition of a class of generalized Stochastic Petri Net models,"IEEE Trans. Software Eng., vol. 15, no. 6, June 1989.
[2] A. E. Conway and N. D. Georganas,Queueing Networks: Exact Computational Algorithms--A Unified Theory Based on Decomposition and Aggregation, Cambridge, MA: M.I.T., Press, 1989.
[3] P. J. Courtois,Decomposability: Queueing and Computer System Applications, New York: Academic, 1977.
[4] P. J. Courtois, "Error minimization in decomposable stochastic models,"Applied Probability--Computer Science: the Interface, vol. 1, 1982.
[5] M. Li and N. D. Georganas, "Norton's theorem in the analysis of a class of Stochastic Petri Nets," submitted for publication, 1992.
[6] M. K. Molloy, "Performance analysis using Stochastic Petri Nets,"IEEE Trans. Comput., vol. C-31, no. 9, Sept. 1982.
[7] S. Natkin, "les Réseaux de Petri Stochastiques et leurs Applicationàl'Evaluation Des Systems Informatiques" Thèse de Docteur Ingénieur, CNAM, Paris, France, 1980.
[8] B. Noble and J. W. Daniel,Applied Linear Algebra. Englewood Cliffs, NJ: Prentice-Hall, 1984.
[9] H. A. Simon and A. Ando, "Aggregation of variables in dynamic systems,"Econometrica, vol. 29, 1961.
[10] H. Vantilborgh, "Exact aggregation in exponential queueing networks,"J. ACM, vol. 25, no. 4, 1978.
[11] R. L. Zarling, "Numerical solution of nearly decomposable queueing network," Ph.D. dissertation, Dep. Comput. Science, North Carolina Univ., Chapel Hill.

Index Terms:
row permutations; stochastic Petri nets; exact parametric analysis; decomposition; aggregation; Markov chains; transition rate of interest; diagonal submatrix; column permutations; Markov processes; matrix algebra; Petri nets.
Citation:
M. Li, N.D. Georganas, "Exact Parametric Analysis of Stochastic Petri Nets," IEEE Transactions on Computers, vol. 41, no. 9, pp. 1176-1180, Sept. 1992, doi:10.1109/12.165403
Usage of this product signifies your acceptance of the Terms of Use.