Informatics Report Series



Related Pages

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

Title:Transforming PEPA Models to Obtain Product Form Bounds
Authors: Joanna Tomasik-Krawczyk ; Jane Hillston
Date:Feb 2000
This report presents a detailed study of some examples expressed in the PEPA formalism. It has previously been shown that some sub-classes of PEPA models have a product form solution, making them amenable to efficient solution. The models we consider here do not have product form solution because the necessary structural conditions are not satisfied. We demonstrate transformations of these models, based on modifications of the PEPA expressions representing them, which result in new models which are product form. Furthermore we investigate the extent to which performance measures derived from the modified models can be regarded as approximations of the measures pertaining to the original model. We show that if a modeller is interested in one particular performance index, he or she may construct two modified models with product form solutions whose values of this measure are lower and upper bounds of the measure of the initial model.
2000 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Joanna Tomasik-Krawczyk and Jane Hillston },
title = {Transforming PEPA Models to Obtain Product Form Bounds},
year = 2000,
month = {Feb},

Home : Publications : Report 

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