Response Time Densities in Generalised Stochastic Petri Net Models.
File(s)response-wosp2002.pdf (202.85 KB)
Accepted version
Author(s)
Dingle, N
Harrison, P
Knottenbelt, W
Type
Conference Paper
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.
Date Issued
2002-07
Citation
2002, pp.46-54
ISBN
1-58113-563-7
Publisher
ACM
Source Title
3rd International Workshop on Software and Performance (WOSP 2002)
Start Page
46
End Page
54
Copyright Statement
© ACM, 2002. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in WORKSHOP ON SOFTWARE AND PERFORMANCE (2002) http://doi.acm.org/10.1145/584369.584377
Source
3rd International Workshop on Software and Performance (WOSP 2002)
Source Place
Rome, Italy
Start Date
2002-07-24
Finish Date
2002-07-26
Coverage Spatial
Rome, Italy