Networks of queues
[7/100%]Consider an open migration process with stations, in which individuals arrive at station at rate , individuals move from to at rate , and individuals depart from at rate , where denotes the number of individuals currently at station . Show when for all that the system behaves as though the customers move independently through the network. Identify the explicit form of the stationary distribution, subject to an assumption of irreducibility, and explain a connection with the Bartlett theorem of Problem (8.10.6).
Let be an queue where , and assume is in equilibrium. Show that the process of departures is a Poisson process with intensity , and that departures up to time are independent of the value of .
Customers arrive in the manner of a Poisson process with intensity in a shop having two servers. The service times of these servers are independent and exponentially distributed with respective parameters and . Arriving customers form a single queue, and the person at the head of the queue moves to the first free server. When both servers are free, the next arrival is allocated a server chosen according to one of the following rules:
each server is equally likely to be chosen,
the server who has been free longer is chosen.
Assume that , and the process is in equilibrium. Show in each case that the process of departures from the shop is a Poisson process, and that departures prior to time are independent of the number of people in the shop at time .
Consider an queue modified so that on completion of service the customer leaves with probability , or rejoins the queue with probability . Find the distribution of the total time a customer spends being served. Hence show that equilibrium is possible if , and find the stationary distribution. Show that, in equilibrium, the departure process is Poisson, but if the rejoining customer goes to the end of the queue, the composite arrival process is not Poisson.
Consider an open migration process in equilibrium. If there is no path by which an individual at station can reach station , show that the stream of individuals moving directly from station to station forms a Poisson process.
Show that an open migration process is non-explosive.
Let be an irreducible, continuous-time Markov chain with generator on the state space , where is countable and non-empty. Show that a distribution on satisfies if and only if, for .