Explicit solutions for queues with hypo-exponential service time and applications to product-form analysis

Queueing systems with Poisson arrival processes and Hypoexponential service time distribution have been widely studied in literature. Their steady-state analysis relies on the observation that the infinitesimal generator matrix has a block-regular structure and hence, matrix-analytic method may be applied. Let πnk be the steady-state probability of observing the k-th stage of service busy and n customers in the queue, with 1 ≤ k ≤ K, andK the number of stages, and let πn = (πn1, . . . , πnK). Then, it is well-known that there exists a rate matrix R such that πn+1 = πnR. In this paper we give a symbolic expression for such a matrix R. Then, we exploit this result in order to address the problem of approximating a M/HypoK/1 queue by a model with initial perturbations which yields a product-form stationary distribution. We show that the result on the rate matrix allows us to specify the approximations for more general models than those that have been previously considered in literature and with higher accuracy.