Queueing theory is a well-established and natural discipline for describing many complex systems. However, in systems which have both complex server and customer behaviour, modelling the precise movement of customers between service centres can be awkward.
We augment ordinary queueing networks with customers and servers specified in the popular stochastic process algebra, PEPA. We use PEPA to represent the local behaviour of the customers and the service centres, and simple mechanisms from queueing theory to describe the migration of customers between queues.
The PEPA queues formalism is presented with an automatic translation directly into PEPA, giving access to the array of tools available to analyse systems.
Information from pubs.doc.ic.ac.uk/pepa-queues-intro.