Edinburgh Research Archive logo

Edinburgh Research Archive

University of Edinburgh homecrest
View Item 
  •   ERA Home
  • Informatics, School of
  • Informatics Report Series
  • View Item
  •   ERA Home
  • Informatics, School of
  • Informatics Report Series
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Transforming PEPA Models to Obtain Product Form Bounds

View/Open
0008.pdf (166.2Kb)
Date
02/2000
Author
Tomasik-Krawczyk, Joanna
Hillston, Jane
Metadata
Show full item record
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.
URI
http://hdl.handle.net/1842/3400
Collections
  • Informatics Report Series

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page

 

 

All of ERACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisorsThis CollectionBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisors
LoginRegister

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page