TY - UNPB M2 - London, UK SP - 1 ID - eprints2557 AV - public A1 - Casale, Giuliano A1 - Tribastone, Mirco Y1 - 2010/09// T2 - 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA) TI - Process-algebraic modelling of priority queueing networks N2 - We consider a closed multiclass queueing network model in which each class receives a different priority level and jobs with lower priority are served only if there are no higher-priority jobs in the queue. Such systems do not enjoy a product form solution, thus their analysis is typically carried out through approximate mean value analysis (AMVA) techniques. We formalise the problem in PEPA in a way amenable to differential analysis. Experimental results show that our approach is competitive with simulation and AMVA methods. EP - 6 UR - http://eprints.imtlucca.it/2557/ ER -