Response time densities in generalised stochastic petri net models

Authors:
Nicholas J. Dingle;Peter G. Harrison;William J. Knottenbelt
Affiliations:
Imperial College of Science, Technology and Medicine, London, United Kingdom;Imperial College of Science, Technology and Medicine, London, United Kingdom;Imperial College of Science, Technology and Medicine, London, United Kingdom
Venue:
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Year:
2002

Citing 9
Cited 9

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

ACM Transactions on Computer Systems (TOCS)
The Fourier-series method for inverting transforms of probability distributions

Queueing Systems: Theory and Applications - Numerical computations in queues
Using MPI: portable parallel programming with the message-passing interface

Using MPI: portable parallel programming with the message-passing interface
Numerical Inversion of Laplace Transforms Using Laguerre Functions

Journal of the ACM (JACM)
Passage time distributions in large Markov chains

SIGMETRICS '02 Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Primer in Petri Net Design

Primer in Petri Net Design
An Efficient Disk-Based Tool for Solving Very Large Markov Models

Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Data Structure for the Efficient Kronecker Solution of GSPNs

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Efficient approximation of response time densities and quantiles in stochastic models

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Fast estimation of probabilities of soft deadline misses in layered software performance models

Proceedings of the 5th international workshop on Software and performance
Iterative convergence of passage-time densities in semi-Markov performance models

Performance Evaluation - Performance modelling and evaluation of high-performance parallel and distributed systems
Comparing the use of bayesian networks and neural networks in response time modeling for service-oriented systems

Proceedings of the 2007 workshop on Service-oriented computing performance: aspects, issues, and approaches
Approximate queueing network analysis of patient treatment times

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A behavior and delay equivalent petri net model for performance evaluation of communication protocols

Computer Communications
State space analysis of Petri nets with relation-algebraic methods

Journal of Symbolic Computation
Distributed Response Time Analysis of GSPN Models with MapReduce

Simulation

Quantified Score

Hi-index	0.00

Visualization

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.