Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:An efficient algorithm for aggregating PEPA models
Authors: Stephen Gilmore ; Jane Hillston ; Marina Ribaudo
Date:May 2001
Publication Title:IEEE Transactions on Software Engineering
Publisher:IEEE Computer Society
Publication Type:Journal Article Publication Status:Published
Volume No:27(5) Page Nos:449-464
Performance Evaluation Process Algebra (PEPA) is a formal language for performance modelling based on process algebra. It has previously been shown that using the process algebra apparatus compact performance models can be derived which retain the essential behavioural characteristics of the modelled system. However no efficient algorithm for this derivation was given. In this paper we present an efficient algorithm which recognises and takes advantage of symmetries within the model and avoids unnecessary computation. The algorithm is illustrated by a multiprocessor example.
Links To Paper
1st Link
2nd Link
Bibtex format
author = { Stephen Gilmore and Jane Hillston and Marina Ribaudo },
title = {An efficient algorithm for aggregating PEPA models},
journal = {IEEE Transactions on Software Engineering},
publisher = {IEEE Computer Society},
year = 2001,
month = {May},
volume = {27(5)},
pages = {449-464},
doi = {10.1109/32.922715},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh