PEPA Queues: Capturing Customer Behaviour in Queueing Networks

https://doi.org/10.1016/j.entcs.2007.07.002Get rights and content
Under a Creative Commons license
open access

Abstract

Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. We present the PEPA Queues formalism, which uses the popular stochastic process algebra PEPA to represent the individual state and behaviour of customers and servers. We offer a formal semantics for PEPA Queues, plus a direct translation to PEPA, allowing access to the existing tools for analysing PEPA models. Finally, we use the ipc/DNAmaca tool-chain to provide passage-time analysis of a dual Web server example.

Keywords

Stochastic process algebra
PEPA
Queueing networks

Cited by (0)