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.
In this paper a class of closed queueing network is modelled in the Markovian process algebra PEPA and solved using the classical Mean Value Analysis (MVA). This approach is attractive as it negates the need to derive the entire state space, and so certain metrics from large models can be obtained with little computational effort. The class of model considered includes models which are not obviously classical closed queueing models. The approach is illustrated with three examples. © 2009 Springer-Verlag Berlin Heidelberg.
Author(s): Thomas N, Zhao Y
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Computer Performance Engineering: 6th European Performance Engineering Workshop
Year of Conference: 2009
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science