An Aggregation Technique for Large-Scale PEPA Models with Non-Uniform Populations
Jane Elizabeth Hillston, Alireza Pourranjbar · 2014
Performance analysis based on modelling consists of two major steps: model construction and model analysis. Formal modelling techniques significantly aid model construction but can exacerbate model analysis. In particular, here we consider the analysis of large-scale systems which consist of one or