An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations

Alireza Pourranjbar, Jane Hillston

Performance analysis based on modelling consists of two major steps: model construction and model analysis. Formal modelling techniques significantly aid model construction but can…