relation: http://eprints.imtlucca.it/2557/ title: Process-algebraic modelling of priority queueing networks creator: Casale, Giuliano creator: Tribastone, Mirco subject: QA75 Electronic computers. Computer science description: 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. date: 2010-09 type: Conference or Workshop Item type: NonPeerReviewed format: application/pdf language: en rights: cc_by_nd identifier: http://eprints.imtlucca.it/2557/1/pasta2010.pdf identifier: Casale, Giuliano and Tribastone, Mirco Process-algebraic modelling of priority queueing networks. In: 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), September 2010, London, UK pp. 1-6. (Unpublished) (2010)