AESOP home

Publications

Response Time Densities in Generalised Stochastic Petri Net Models.

Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt

Conference or Workshop Paper
3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002
June, 2002
pp.46–54
Abstract

Generalised Stochastic Petri nets (GSPNs) have been widely used to analyse the performance of hardware and software systems. This paper presents a novel technique for the numerical determination of response time densities in GSPN models. The technique places no structural restrictions on the models that can be analysed, and allows for the high-level specification of multiple source and destination markings, including any combination of tangible and vanishing markings. The technique is implemented using a scalable parallel Laplace transform inverter that employs a modified Laguerre inversion technique. We present numerical results, including a study of the full distribution of end-to-end response time in a GSPN model of the Courier communication protocol software. The numerical results are validated against simulation.

PDF of full publication (202.8 kilobytes)
(need help viewing PDF files?)

Information from pubs.doc.ic.ac.uk/response-wosp2002.