TY - UNPB T2 - 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA) EP - 6 ID - eprints2557 UR - http://eprints.imtlucca.it/2557/ AV - public TI - Process-algebraic modelling of priority queueing networks Y1 - 2010/09// SP - 1 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. A1 - Casale, Giuliano A1 - Tribastone, Mirco M2 - London, UK ER -