# Properties of Markovian arrival processes

Below, we summarize some of the basic properties of the MAP. First, the set of MAPs is quite broad and, in theory, any stationary point process can be approximated arbitrarily closely by a MAP.

Proposition 6   [12] The set of MAPs is dense in the set of all the stationary point processes.

Second, the set of MAPs is closed under some operations. In particular, a superposition of two independent MAPs is a MAP.

Proposition 7   [117] A superposition of two independent MAPs, MAP( ) and MAP( ) is a MAP, MAP( ), where

Here, denotes the Kronecker product.

Third, the average rate of events and the marginal distribution of the inter-event time of a MAP have simple mathematical expressions.

Proposition 8   [117,92] The average rate of events (the number of events in a unit time) in a MAP is called the fundamental rate of the MAP. The fundamental rate of MAP( ) is given by

where is the stationary probability vector in the Markov chain with infinitesimal generator (i.e., and ).

The marginal distribution of the inter-event time of the above MAP is a PH( ) distribution, where

which is the stationary probability vector immediately after the event. Note the difference between PH( ) and PH( ). PH( ) is the distribution of the time from an arbitrary epoch, i.e., the excess of the inter-event time.

Since the marginal distribution of the inter-event time in a MAP is a PH distribution, its moments, density function, and distribution function can be calculated via Proposition 4.

The variability of a point process can be characterized by the covariance of the inter-event times or the index of dispersion for intervals. The index of dispersion for intervals, IDI(), of a MAP is defined by

where is the sum of the first inter-event times of the MAP. Observe that IDI() is the ratio of the variance of to the corresponding variance of a Poisson process with the same rate. The MAP have a convenient mathematical expressions for the covariance and the index of dispersion for intervals.

Proposition 9   [7,92] Consider MAP( ) with the fundamental rate . Recall the vectors, and , of the MAP defined in Proposition 8. The covariance between the two inter-event times separated by events of the MAP is given by

The IDI() of the above MAP is given by

Finally, a MAP can be translated into a counting process, i.e., the number of events by time , . The MAP has a simple -transform of , and this leads to a convenient mathematical expression for the index of dispersion for counts, which characterizes the variability of a MAP via the variability of . The index of dispersion for counts, IDC(), of the MAP is defined by

Observe that IDC() is the ratio of the variance of to the corresponding variance of a Poisson process with the same rate.

Proposition 10   [7] Let be the number of events by time in MAP( ). Recall vectors, and , and the fundamental rate of the MAP defined in Proposition 8. Let be the probability that . The -transform of , , is given by

for , .

The IDC() of the above MAP is given by

where