Toggle Main Menu Toggle Search

Open Access padlockePrints

An approximate solution of PEPA models using substitution

Lookup NU author(s): Dr Nigel Thomas


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Performance models specified using compositional algebra suffer the well-known state space explosion problem, where a relatively small definition leads to a Markov chain with a large state space that is problematic to solve. As a result it is widely recognised that the development of techniques to solve performance models efficiently is of particular practical importance. Recently the notion of behavioural independence was introduced to exploit the structure of Markovian process algebra models in order to solve models in a compositional manner. In this paper the opposite property, namely control, is used to solve models by substituting components in the model with simpler versions. The approach is validated through two examples and by deriving a variety of performance measures.

Publication metadata

Author(s): Thomas N, Bradley J, Thornley D

Publication type: Article

Publication status: Published

Journal: IEE Proceedings - Computers and Digital Techniques

Year: 2003

Volume: 150

Issue: 2

Pages: 67-74

Print publication date: 01/03/2003

ISSN (print): 1350-2387

Publisher: The Institution of Engineering and Technology


DOI: 10.1049/ip-cdt:20030282


Altmetrics provided by Altmetric


Find at Newcastle University icon    Link to this publication