The Minimal Representation of the Maximum of Erlang Distributions

Inhalt:
Analysis of models comprising concurrent stochastic processes leads to state space explosion, just like in many other areas of formal validation. The number of states grows exponentially in the number of involved processes. One of the principal constituents of many such processes is the so-called Erlang distribution, which is particularly well-suited as approximations for fixed delays - with adjustable accuracy. The concurrent execution of Erlang distributions corresponds to their maximum. In this paper, we show that an exponential growth of the Markov chain representation of the maximum of Erlang distributions is inevitable. This is because even its minimal representations grow exponentially.