as for the queueing model, we deal herein with the simple single-server queueing system of finite capacity.
The arrival process is the batch Markovian arrival process described above, the service time distribution is given by a distribution function.