Response time densities in generalised stochastic petri net models

Proceedings of the International Workshop on Software and Performance (WOSP2002)

Volumn , Issue , 2002, Pages 46-54

  Dingle, Nicholas J ^a   Harrison, Peter G ^a   Knottenbelt, William J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SIMULATION; GRAPHIC METHODS; LAPLACE TRANSFORMS; NETWORK PROTOCOLS; NUMERICAL METHODS; PETRI NETS; RANDOM PROCESSES; RESPONSE TIME (COMPUTER SYSTEMS);

GENERALISED STOCHASTIC PETRI NETS (GSPN);

COMPUTER SOFTWARE;

EID: 0036992383     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/584374.584377     Document Type: Conference Paper

References (18)

1. J. Abate, G.L. Choudhury, and W. Whitt. On the Laguerre method for numerically inverting Laplace transforms. INFORMS Journal on Computing, 8(4):413-427, 1996.
2. J. Abate and W. Whitt. The Fourier-series method for inverting transforms of probability distributions. Queueing Systems, 10(1):5-88, 1992.
3. M. Ajmone-Marsan, G. Conte, and G. Balbo. A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2:93-122, 1984.
4. F. Bause and P.S. Kritzinger. Stochastic Petri net theory. Verlag Vieweg, Wiesbaden, Germany, 1995.
5. P. Buchholz, M. Fischer, and P. Kemper. Distributed steady state analysis using Kronecker algebra. In Proceedings of the 3rd International Meeting on the Numerical Solution of Markov Chains (NSMC '99), pages 76-95, Zaragoza, Spain, September 1999.
6. G. Ciardo and A.S. Miner. A data structure for the efficient Kronecker solution of GSPNs. In Proceedings of the 8th International Conference on Petri Nets and Performance Models (PNPM '99), pages 22-31, Zaragoza, Spain, September 1999. IEEE Computer Society Press.
7. D.D. Deavours and W.H. Sanders. An efficient disk-based tool for solving very large Markov models. In Lecture Notes in Computer Science 1245: Proceedings of the 9th International Conference on Modelling, Techniques and Tools (TOOLS '97), pages 58-71, St. Malo, France, 3-6 June 1997. Springer Verlag.
8. N.J. Dingle. Production of the extensible Petri net editor/animator Medusa. Master's thesis, Imperial College, September 2001.
9. W. Gropp, E. Lusk, and A. Skjellum. Using MPI: Portable Parallel Programming with the Message Passing Interface. MIT Press, Cambridge, Massachussetts, 1994.
10. P.G. Harrison and W.J. Knottenbelt. Passage time distributions in large Markov chains. In Proc. ACM SIGMETRICS 2002, Marina Del Rey, California, June 2002.
11. E. Kindler and M. Weber. The Petri Net Kernel. In K. H. Mortensen, editor, Tool Demonstrations at the 21st International Conference on the Theory and Application of Petri nets, pages 71-75. Aarhus, Denmark, June 2000.
12. W.J. Knottenbelt. Generalised Markovian analysis of timed transition systems. Master's thesis, University of Cape Town, Cape Town, South Africa, July 1996.
13. W.J. Knottenbelt. Parallel Performance Analysis of Large Markov Models. PhD thesis, Imperial College, London, United Kingdom, February 2000.
14. W.J. Knottenbelt and P.G. Harrison. Distributed disk-based solution techniques for large Markov models. In Proceedings of the 3rd International Meeting on the Numerical Solution of Markov Chains (NSMC '99), pages 58-75, Zaragoza, Spain, September 1999.
15. J.L. Peterson. Petri Nets and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, New Jersey, 1981.
16. W. Reisig. A Primer in Petri Net Design. Springer Verlag, 1992.
17. W.T. Weeks. Numerical inversion of Laplace transforms using Laguerre functions. Journal of the ACM, 13:419-426, 1966.
18. C.M. Woodside and Y. Li. Performance Petri net analysis of communication protocol software by delay-equivalent aggregation. In Proceedings of the 4th International Workshop on Petri nets and Performance Models, pages 64-73, Melbourne, Australia, 2-5 December 1991. IEEE Computer Society Press.