Continuation: Batch Services. Consider the system described in the preceding example with the difference that at the end of a service time with i items in the system, min{i, K} items depart, where K...

Continuation: Batch Services. Consider the system described in the preceding example with the difference that at the end of a service time with i items in the system, min{i, K} items depart, where K is the batch service capacity. So those items present at the start of a service plus all the arrivals during a service time up to the amount K depart at the end of the service. Here Kμ > λ/(1−α). Justify that the quantity of items in the system X(t) is a CTMC with transition rates