Computing Publications

Publications Home » Response Time Densities in Genera...

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
July, 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.

Keywords
AESOP
PDF of full publication (203 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.