
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Peter Kemper, "Numerical Analysis of Superposed GSPNs," IEEE Transactions on Software Engineering, vol. 22, no. 9, pp. 615628, September, 1996.  
BibTex  x  
@article{ 10.1109/32.541433, author = {Peter Kemper}, title = {Numerical Analysis of Superposed GSPNs}, journal ={IEEE Transactions on Software Engineering}, volume = {22}, number = {9}, issn = {00985589}, year = {1996}, pages = {615628}, doi = {http://doi.ieeecomputersociety.org/10.1109/32.541433}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Numerical Analysis of Superposed GSPNs IS  9 SN  00985589 SP615 EP628 EPD  615628 A1  Peter Kemper, PY  1996 KW  Stochastic Petri net KW  superposed GSPN KW  Markov process KW  numerical solution algorithm for steadystate analysis tensor/Kronecker algebra KW  decomposition KW  reachability analysis KW  structured representation. VL  22 JA  IEEE Transactions on Software Engineering ER   
Abstract—The numerical analysis of various modeling formalisms profits from a structured representation for the generator matrix
[1] M.Ajmone Marsan,G. Balbo,, and G. Conte,“A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Computer Systems, pp. 93122, vol. 2, no. 2, May 1984.
[2] V. Amoia, G. De Micheli, and M. Santomauro, "ComputerOriented Formulation of TransitionRate Matrices via Kronecker Algebra," IEEE Trans. Reliability, vol. 30, no. 2, pp. 123132, June 1981.
[3] G. Balbo, G. Chiola, G. Franceschinis, and G. MolinarRoet, "On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets," Proc. Workshop Petri Nets and Performance Models, pp. 136145. IEEE Computer Soc., 1987.
[4] F. Bause and P. Kemper, "QPNTool for Qualitative and Quantitative Analysis of Queueing Petri Nets," G. Haring and G. Kotsis, eds., Computer Performance Evaluation, Modelling Techniques and Tools, Proc. Seventh Int'l Conf.,Vienna, Austria, LNCS 794, pp. 321334. SpringerVerlag, 1994.
[5] P. Buchholz, "A Hierarchical View of GCSPNs and its Impact on Qualitative and Quantitative Analysis," J. Parallel and Distributed Computing, vol. 15, pp. 207224, 1992.
[6] G. Chiola, "Compiling Techniques for the Analysis of Stochastic Petri Nets," Proc. Fourth Int'l Conf. Modeling Techniques and Tools, pp. 1327, 1989.
[7] G. Chiola, "1.5 Software Architecture," G. Balbo and G. Serazzi, eds., Computer Performance Evaluation, pp. 121136. NorthHolland, 1992.
[8] G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications," IEEE Trans. Software Eng., vol. 19, no. 2, pp. 89107, Feb. 1993.
[9] G. Chiola, S. Donatelli, and G. Franceschinis, "GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? Proc. Fourth Int'l Workshop Petri Nets and Performance Models, pp. 2031,Melbourne, Australia, IEEE CS Press, Dec. 1991.
[10] S. Christensen and L. Petrucci, “Modular State Space Analysis of Coloured Petri Nets,” Proc. 16th Int'l Conf. Application and Theory of Petri Nets, June 1995.
[11] G. Ciardo, J. Muppala, and K. Trivedi, SPNP: Stochastic Petri Net Package Proc. Third Int'l Workshop Petri Nets and Performance Models, pp. 142151, 1989.
[12] G. Ciardo and K.S. Trivedi,“A decomposition approach for stochastic Petri net models,” Fourth Int’l Workshop of Petri Nets and Performance Models, pp. 7483,Melbourne, Australia, December25, 1991.
[13] M. Davio, "Kronecker Products and Shuffle Algebra," IEEE Trans. Computers, vol. 30, no. 2, pp. 116125, Feb. 1981.
[14] S. Donatelli, "Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space," Performance Evaluation, vol. 18, pp. 2136, 1993.
[15] S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," R. Valette, ed., Proc. 15th Int'l Conf. Applications and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp. 258277.Berlin, Heidelberg: SpringerVerlag, 1994.
[16] S. Donatelli, M. Ribaudo, and J. Hillston, "A Comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets," Proc. Sixth Int'l Workshop Petri Nets and Performance Models, pp. 158168, IEEE CS Press, 1995.
[17] J. Hillston, "Compositional Markovian Modelling using a Process Algebra," W.J. Stewart, ed., Computations with Markov Chains: Proc. Second Int'l Work, Numerical Solution of Markov Chains, pp. 177196. Kluwer Academic Publishers, 1995.
[18] N. Karmarkar,"A New PolynomialTime Algorithm for Linear Programming," Combinatorica, vol. 4, pp. 373395, 1984.
[19] C. Lindemann, “DSPN Express: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets, Performance Evaluation, vol. 22, pp. 321, 1995
[20] J. Martinez and M. Silva, "A Simple and Fast Algorithm to Obtain all Invariants of a Generalized Petri Net," C. Girault and W. Reisig, eds., Application and Theory of Petri Nets, Informatik Fachberichte, p. 52, 1982.
[21] T. Murata, “Petri Nets: Properties, Analysis and Application,” Proc. IEEE, vol. 77, no. 4, 1989.
[22] B. Plateau and K. Atif, Stochastic Automata Network for Modeling Parallel Systems IEEE Trans. Software Eng., vol. 17, no. 10, pp. 10931108, Oct. 1991.
[23] B. Plateau and J.M. Fourneau, "A Methodology for Solving Markov Models of Parallel Systems," J. Parallel and Distributed Computing, vol. 12, pp. 370387, 1991.
[24] W.J. Stewart, Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, 1994.
[25] W.J. Stewart, K. Atif, and B. Plateau, "The numerical solution of stochastic automata networks," European J. Operatonal Research, vol. 86, pp. 503525, 1995.
[26] C.M. Woodside and Y. Li,“Performance Petri net analysis of communications protocol software by delayequivalent aggregation,” Fourth Int’l Workshop Petri Nets and Performance Models, pp. 6473,Melbourne, Australia, Dec.25, 1991.