%P 1-6
%T Process-algebraic modelling of priority queueing networks
%A Giuliano Casale
%A Mirco Tribastone
%X 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.
%D 2010
%L eprints2557
%C London, UK