AESOP home


Extracting Fluid Response times from PEPA models

Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto

National Workshop Paper
PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
June, 2008

Recent developments in the analysis of stochastic process algebra models allow for transient measures of very large models to be extracted. By performing so-called fluid analysis of stochastic process algebra models, it is now feasible to analyse systems of size 10^1000 states and beyond. This paper seeks to extend the type of measure that can be extracted from this style of fluid analysis. We present a systematic transformation of a PEPA model that will allow us to extract measures analogous to response times.


This is a short version summary of the full paper that appeared at SIPEW 2008 (

PDF of presentation slides (644.5 kilobytes)
(need help viewing PDF files?)

Information from