Queueing Theory 1. Nikolaos Limnios
– T)–11 and b–1 = β(I – B)–11. At time t ≥ 0, let Xt be the number of items in the system,Yt the phase of interarrival times and Zt the phase of the ongoing service. It is straightforward to see that (Xt, Yt, Zt), t ≥ 0, is a DTMC with transition matrix P given as
where
and where ⊗ is the Kronecker product. For two matrices U of order n × m and V of order r × k, the product U ⊗ W is a matrix of order nr × mk (for more details, see Graham 1981).
It is well-known in the literature that for a stable PH/PH/1 system there is a matrix R, with spectral radius less than 1, which is the minimal non-negative solution to
and the stationary distribution of the DTMC, which is given as can be obtained through the matrix-geometric theorem (Neuts 1981) asafter appropriately obtaining the boundary solution [x0, x1]. For more details, see Alfa (2016).
The idea of the Geo/Geo/1 system discussed in section 1.2 can be extended to the PH/PH/1, but requires a more involved representation and analysis. Consider the case where (α,T) depends on (β, B). The dependence can be captured by letting
with the condition that
We see that the case of the Geo/Geo/1 is a special case where (β, B) = (1, b), hence
. several functional forms of α = gα(β), and T = fT(B) can be studied, but are beyond the scope of this chapter. However, a small example of a representation is presented as an illustration. Consider a simple case with T and B having the same size, i.e. n × n. Define a doubly stochastic matrix V of order n × n. We can selectprovided
Even though this system is more complicated to analyze compared to the Geo/Geo/1 case, the idea is exactly the same and it can be studied numerically.
Next we consider a model in which there is a general service time distribution; however, there are several interarrival time distributions and the selection of the next interarrival time distribution depends on the service time distribution.
1.4. The model with multiple interarrival time distributions
We consider the case where the service times are independent and the interarrival times depend on the distribution of the service times, and not just one parameter such as the mean:
– let the service time, S, be of a general renewal type in discrete time with finite support. Let Let us write s = [s1, s2, ∙∙∙ , sM];
– let there be K interarrival times with the selection of the interarrival time depending on the service time. Let be the interarrival time between the nth and the st customer if the kth interarrival is selected. Let
– by the results in Alfa (2004), we can represent each of the K interarrival times by discrete PH distribution and in this case chose the remaining time approach. Let (α(k), T(k)) be the PH representation for the kth interarrival time distribution of dimension .
Next we define some parameters that will be used to relate the interarrival times to the service times.
1.4.1. Preliminaries
Define a K × M matrix EKM such that its elements have values of 0 or 1 and in addition
– for K ≥ M, we require that and ;
– for K ≤ M, we require that , and
Next we define a stochastic vector ψ =[ψ1, ψ2, ... ,ψK], which is a function of s, i.e. ψ = f(s), where f : RM → RK. We give some very simple examples of this type of mapping.
– Consider the case when K = M. A simple mapping of f could be ψi = si, ∀i, i.e.ψ = s. Another possible example could be
. Finally, we could generate ψ from s using any argument possible, as long as ψ depends on s. For this simple example alone, there are K! ways of generating the mapping by rearranging the elements of ψ, if we keep the values of si unchanged, e.g.– There are two possible cases when K ≠ M.- Consider the case where K < M, an example of the mapping here could beas an example only, and- for the case of K > M, an example of the mapping here could beagain just an example.
The K interarrival times can each be written as PH distribution (α(k), T(k)), where k = 1,2, ..., K. Hence the resulting interarrival time, which is a function of the service time, is a PH distribution represented by
wherewhere α = [α(1), α(2), ∙∙∙ , α(k)] and the operator * is the Khatri-Rao (K-R) product (Khatri and Rao 1968) , and here we have
In applying K-R operator, here the first vector ψ is partitioned into K, 1 × 1 vectors, i.e. into scalars in order to properly apply the K-R operator.
This is better illustrated with an example.
Example
Consider a case of a service time S with
i.e.M = 4. Let K = 3, with the three interarrival PH distributions given as (α(k), T(k)), k = as an example.Then we have a system with service time distribution vector given as s = [s1, s2, s3, s4] and interarrival time distribution given as a PH with