AESOP home


Hybrid analysis of large scale PEPA models

Anton Stefanek, Richard Hayden, Jeremy T. Bradley

National Workshop Paper
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010

We introduce a new hybrid analysis technique for large scale PEPA models that combines stochastic simulation with ODEs, providing a finer trade-off between accuracy of the solutions and the associated computational costs. We describe a version that employs ODEs for the mean component counts and also a version using ODEs for second order moments. This enables the calculation of covariances of component counts and also improves the accuracy of the mean approximations . We look at various examples demonstrating the advantages and limitations of this approach.

PDF of full publication (385.1 kilobytes)
(need help viewing PDF files?)
PDF of presentation slides (995 kilobytes)

Information from