Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >
Informatics, School of >
Informatics Report Series >

Please use this identifier to cite or link to this item:

View Statistics

Files in This Item:

File Description SizeFormat
0008.pdf166.29 kBAdobe PDFView/Open
Title: Transforming PEPA Models to Obtain Product Form Bounds
Authors: Tomasik-Krawczyk, Joanna
Hillston, Jane
Issue Date: Feb-2000
Series/Report no.: Informatics Report Series
Abstract: 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.
Keywords: Informatics
Appears in Collections:Informatics Report Series

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy