Imperial College London
Alternate

ProfessorWilliamKnottenbelt

Faculty of Engineering, Department of Computing

Professor of Applied Quantitative Analysis
 
 
 
//

Contact

 

+44 (0)20 7594 8331w.knottenbelt Website

 
 
//

Location

 

E363ACE ExtensionSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Dingle:2002,
author = {Dingle, N and Harrison, P and Knottenbelt, W},
pages = {46--54},
publisher = {ACM},
title = {Response Time Densities in Generalised Stochastic Petri Net Models.},
url = {http://hdl.handle.net/10044/1/5768},
year = {2002}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Dingle,N
AU  - Harrison,P
AU  - Knottenbelt,W
EP  - 54
PB  - ACM
PY  - 2002///
SP  - 46
TI  - Response Time Densities in Generalised Stochastic Petri Net Models.
UR  - http://hdl.handle.net/10044/1/5768
ER  -
Download