Introduction

Theory of the batch service queue with vacation has huge application in various congestion situations, viz., telecommunication, manufacturing, transportation, etc. In telecommunication system messages, data, digital signals are first broken into cells (packets) and are transmitted over the common transmission line in batches with a minimum threshold and maximum capacity and whenever the minimum number of packets is not available for the transmission, the multiplexer enters into the predefined single vacation or multiple vacation. In the batch service queue, a single server operates the customers in the groups/batches with various service rules, viz., general batch service (GBS) rule, arbitrary batch size service rule, fixed batch size service rule, etc. Neuts [22] proposed the GBS rule which is the most popular batch service rule in queueing literature in which the customers get serves in packets with lower threshold a \((\ge 1)\) and upper threshold b. For the specific analysis of batch service queue, we mention Chaudhry and Templeton [5] and Medhi [21], and for the current status on the literature of batch service queue, readers are invoked to see [1,2,3, 10, 24] and the references therein. In the batch service queue, the idle period of the server may be utilized in a customized manner by entangling the server in some secondary job. This period of absence of the server from the primary job facility is called the server vacation period.

In several queueing systems when no jobs (i.e., primary job) are available for the server, then the server performs some secondary jobs, this type of model is interpreted as the vacation queueing model, and proposed by Levy and Yechiali [20]. Later many researchers ([9, 11, 32, 15, 16] and the references therein) have been attracted to the queueing models with vacation phenomena, and in this connection, an impressive survey is presented in the survey papers by Doshi [8] and Ke et al. [17]. For the quality literature on vacation theory, readers are requested to see Takagi [29] and Tian and Zhang [31]. In vacation queue after one service, if sufficient number of customer is available in the queue, then the server continues the service, otherwise, it takes the vacation, and after the completion of vacation if the system contains sufficient number of job to start a service, then it starts a service, otherwise, remains in the dormant state ( single vacation, i.e., SV) or goes for another vacation (multiple vacation, i.e., MV).

Batch service queues with SV where the behavior of the system analyzed by the supplementary variable technique (SVT), can be found in [12, 13, 19, 26], in which authors have obtained queue size distribution at various epochs. batch service queue with MV applies in many real-life queues, viz., telecommunication, transportation, manufacturing, etc. In this connection, many queue theorists have been attracted to analyze such models, Choi and Han [6], Jeyakumar and Senthilnathan [14], etc. The batch service queues with SV as well as MV analyzed by a few researchers, Lee et al. [18], Samanta et al. [25], Sikdar and Gupta [27], Sikdar and Samanta [28], Gupta et al. [11], Tamrakar and Banerjee [30], and the references therein.

Most of the above literature on batch service queue with vacations deals with the derivation of the distribution of the queue size at various epochs only, in which the service time is considered to be independent of the batch size with the server. Though, Gupta et al. [11] considered \(M/G_{r}^{(a,b)}/1\) finite buffer queue with SV (MV). They obtained the required joint distributions at various epoch. By using the embedded Markov chain technique, they first derived transition probability matrix (TPM) to obtain the joint distribution of the queue size and batch size with the server at the epoch of service completion and the queue size and vacation type at vacation termination epoch. However, it seems difficult to handle TPM with a considerably large buffer size or an infinite buffer queue (see e.g., Bar-Lev et al. [4]). To address this difficulty, in this paper we present an analytical study of the batch service queue with SV (MV) and infinite buffer. where the service time and vacation time depend on the batch size with the server and queue size at the vacation initiation epoch, respectively. We first use SVT and obtain the bivariate generating function for the joint probabilities of the queue size and batch size with the server at service completion epoch and the queue size and vacation type at vacation termination epoch. Then we successfully extract all the required service (vacation) completion epoch joint probabilities which are eventually used to obtain corresponding arbitrary epoch joint probabilities. The analytical study presented in this paper is completely different than that is presented in Gupta et al. [11] and our result cannot be obtained as a special case of their result. The novelty of our work is that where the queueing practitioners stuck with the results provided by Gupta et al. [11] while handling an infinite buffer system, our results will definitely help them to find out the proper solution.

The practical motivation for the considered model comes up with the way of the sample testing procedure in the pandemic situation (viz., COVID-19). An effective way of fighting some dangerous virus (pandemic) such as the corona virus is to test all suspected people in whom the virus is likely to be found. However, at the beginning of an epidemic, the shortage of test kits causes major problems which aggravate the pandemic. To deal with such a situation group testing may play a key role instead of an individual test. In a group test, samples of multiple swabs are mixed to form a ‘mixed sample’, which is then tested. If the test result is found to be negative, then all samples in the mixture are negative for the virus, however, a positive test shows one or more samples infected with the virus in the mixture. Then that particular sample will be further tested to identify the infected samples. Such group testing process is already justified during the COVID-19 pandemic, see [7, 23, 33].

Our model may be helpful in policy-making for group testing methods to deal with a pandemic situation for a particular country. For better understanding let us consider an example of group testing in which the samples are coming according to the Poisson stream and the health worker test the samples in bulk (i.e., mixed sample) with a lower threshold ‘a’ to upper threshold ‘b’ (following GBS rule). On completion of a test if the number of waiting samples to be tested is r \((\ge a)\) then a mixed sample of size min(rb) is taken for the test. The mixing time depends on the number of samples which is going to be tested, therefore, batch size dependent service is justified. On the other hand, if at the completion of the test the number of waiting samples to be tested is k \((<a)\) then the health worker stops testing and goes on vacation. During vacation, the health worker will be engaged in some additional works (stocking of health care inventory, increase people’s awareness, visiting the quarantine room, etc.). Before going for the vacation, the health worker always checks the queue size, and depending on the queue size he set his vacation time which will increase the expected number of samples tested per unit time. Hence, queue size dependent vacation is also justified.

The rest of the article is devoted as follows: Description of the considered model presented in Sect. 2. The steady-state joint probabilities is investigated at various epoch in Sect. 3. Significant marginal probabilities are presented in Sect. 4. Some necessary performance measures are reported in Sect. 5. Numerical results and their discussion are presented in Sect. 6. In Sect. 7, we develop a cost model in order to obtain the optimum value of the lower threshold a. The conclusion section ends the article.

Model Description

The present article investigates infinite capacity single server batch service queue with SV (MV) where the service time \((T_r)\) \((1\le a\le r\le b)\) and vacation time \((V_k)\) \((0\le k\le a-1)\), respectively, depend on batch size with the server and queue size at vacation initiation epoch, respectively. The customers reach one by one in the system following the Poison distribution with a rate of \(\lambda \), and are received the service in batches with a lower threshold a \((\ge 1)\) and upper threshold b (\(b\ge a\)) as per the GBS rule. After service, if the queue size is \(\ge a\) then the server renders the service as per the GBS rule otherwise the server goes for the vacation. The vacation time of the server depends on the size of the queue k \((0\le k\le a-1)\) at the vacation initiation epoch. Such a vacation that depends on the queue size k is known as \(k^{th}\) vacation type. There will be no permission to join any customer in the running service even if the server is serving the customers less than its maximum capacity. The service time \((T_r)\) \((1\le a\le r\le b)\) and the vacation time \((V_k)\) \((0\le k\le a-1)\) are distributed generally. Some other assumptions are as follows:

  • \(s_r(t)\) = probability density function (pdf) of \(T_r\),

  • \(S_r(t)\) = distribution function (DF) of \(T_r\),

  • \(\tilde{S}_r{(\theta )}\) = Laplace-Stieltjes transform (LST) of \(T_r\),

  • Mean service time = \(\frac{1}{\mu _r}=s_r =-\tilde{S}_r^{(1)}{(0)}\) = derivative of \(\tilde{S}_r{(\theta )}\) evaluated at \(\theta \)=0,

  • \(v_k{(t)}\)= pdf of \(V_k\),

  • \({V}_k{(t)}\) = DF of \(V_k\),

  • \(\tilde{V}_k{(\theta )}\)= LST of \(V_k\),

  • Mean vacation time = \(\frac{1}{\nu _k}=x_k =-\tilde{V}_k^{(1)}{(0)}\) = derivative of \(\tilde{V}_k{(\theta )}\) evaluated at \(\theta \)=0.

After a \(k^{th}\) (\(0\le k\le a-1\)) vacation type completion if the queue size \(\ge a\), then the server renders the service as per the GBS rule, otherwise, following SV rule, the server remains in the dormant state until the queue size reaches the lower threshold a, or under MV rule, takes repeated vacation until it finds queue length \(\ge a\) at the end of the vacation. The condition that ensures the system stability is \(\frac{\lambda s_b}{b}(<1)\). In this article, we study both SV and MV queues simultaneously. By substituting \(\delta =1\) in the steady-state analysis, we obtain the results for MV and by substituting \(\delta =0\) we obtain the results for SV.

System Analysis

This section covers the analysis of the joint probabilities of the queue size and batch size with the server at the service completion epoch, and the joint probabilities of queue size and vacation type taken by the server at the vacation termination epoch. Then arbitrary epoch joint probabilities are obtained by establishing the relation between the joint probabilities of service (vacation) completion epoch and random epoch. For the mathematical analysis, using probability law, we get the steady-state equations by defining the additional variable for remaining service (vacation) time. To this end, the system state at time t is introduced by random variables as follows:

  • \(N_{q}(t)\) represents the queue size.

  • \(N_{s}(t)\) represents the batch size with the server when the server is busy.

  • C(t) represents the vacation type taken by the server, when the server is on vacation.

  • X(t) represents remaining service time of the batch in service, if any.

  • Y(t) represents remaining vacation time of a vacation period, if any.

Note that the dormant state of the server at time t will be represented by \(N_{s}(t)=0\).

For SV, \(\{(N_{q}(t),N_{s}(t))\}\cup \{\big (N_{q}(t),N_{s}(t),X(t)\big )\cup \big (N_{q}(t),C(t),Y(t)\big )\}\) forms a Markov process with state space \(\{(n,0);0\le n\le a-1\}\bigcup \{(n,r,u);n\ge 0, a\le r\le b,u\ge 0\}\bigcup \{(n,k,u); 0\le k\le a-1, n\ge k,u\ge 0\}\).

For MV, \(\{\big (N_{q}(t),N_{s}(t),X(t)\big )\cup \big (N_{q}(t),C(t),Y(t)\big )\}\) forms a Markov process with state space \(\{(n,r,u);n\ge 0, a\le r\le b,u\ge 0\}\bigcup \{(n,k,u); 0\le k\le a-1, n\ge k,u\ge 0\}\).

Further, we set out the state probabilities at time t as:

  • \(f_n{(t)} \equiv Pr{\{N_{q}(t)=n, N_{s}(t)=0\}},~~ 0\le n \le a-1 \) (exist only for SV).

  • \(\alpha _{n,r}{(u,t)}du \equiv Pr{\{N_{q}(t)=n,N_{s}(t)=r,u \le X(t) \le u+du\}},~~ n\ge 0~,~a\le r\le b\).

  • \(\beta _{n}^{[k]}{(u,t)}du\equiv ~Pr{\{N_{q}(t)=n,C(t)=k, u\le Y(t)\le u+du \}},~~n\ge k~,~0\le k\le {a-1}\).

In steady state, as \(t\rightarrow \infty \), we have,

\(f_n=\displaystyle \ \lim _{t\rightarrow \infty }f_n{(t)}\) \((0\le n\le a-1)\) (exist only for SV),

\(\alpha _{n,r}(u)=\displaystyle \ \lim _{t\rightarrow \infty }\alpha _{n,r}(u,t),~~n\ge 0,~~ a\le r\le b\),

\(\beta _{n}^{[k]}{(u)}=\displaystyle \ \lim _{t\rightarrow \infty }{\beta _n^{[k]}{(u,t)}},~~n\ge k,~~0\le k\le a-1.\)

Now we obtain the system equation that governs the system behavior. Analyzing the model at time t and \(t+dt\), the governing equations in steady-state are as follows:

$$\begin{aligned} 0= & {} (1-\delta )\bigg (-\lambda f_0+\beta _0^{[0]}(0)\bigg ), \end{aligned}$$
(1)
$$\begin{aligned} 0= & {} (1-\delta )\bigg (-\lambda f_n+\lambda f_{n-1} +\sum \limits _{k=0}^{n}\beta _n^{[k]}(0)\bigg ),\nonumber \\&\qquad \quad 1\le n\le a-1, \end{aligned}$$
(2)
$$\begin{aligned} -\frac{d}{du}\alpha _{0,a}(u)= & {} -\lambda \alpha _{0,a}(u)+(1-\delta )\lambda f_{a-1}s_a{(u)}\nonumber \\&+\bigg (\sum \limits _{k=0}^{a-1}\beta _{a}^{[k]}(0) +\sum \limits _{r=a}^{b}\alpha _{a,r}(0)\bigg )s_a{(u)}, \end{aligned}$$
(3)
$$\begin{aligned} -\frac{d}{du}\alpha _{0,r}(u)= & {} -\lambda \alpha _{0,r}(u) +\bigg (\sum \limits _{k=0}^{a-1}\beta _{r}^{[k]}(0) +\sum \limits _{j=a}^{b}\alpha _{r,j}(0)\bigg )s_r{(u)},\nonumber \\&\qquad \quad a+1 \le r \le b, \end{aligned}$$
(4)
$$\begin{aligned} -\frac{d}{du}\alpha _{n,r}(u)= & {} -\lambda \alpha _{n,r}(u) +\lambda \alpha _{n-1,r}(u),~~ a\le r \le b-1,~~ n \ge 1, \end{aligned}$$
(5)
$$\begin{aligned} -\frac{d}{du}\alpha _{n,b}(u)= & {} -\lambda \alpha _{n,b}(u) +\lambda \alpha _{n-1,b}(u)\nonumber \\&+\bigg (\sum \limits _{k=0}^{a-1}\beta _{n+b}^{[k]}(0) +\sum \limits _{r=a}^{b}\alpha _{n+b,r}(0)\bigg )s_b{(u)},~n \ge 1, \end{aligned}$$
(6)
$$\begin{aligned} -\frac{d}{du}\beta _k^{[k]}(u)= & {} -\lambda \beta _{k}^{[k]}(u) +\bigg (\sum \limits _{r=a}^{b}\alpha _{k,r}(0) +\delta \sum \limits _{j=0}^{k}\beta _k^{[j]}(0)\bigg )\nu _k{(u)},\nonumber \\&\qquad \quad 0\le k \le a-1, \end{aligned}$$
(7)
$$\begin{aligned} -\frac{d}{du}\beta _n^{[k]}(u)= & {} -\lambda \beta _{n}^{[k]}(u) +\lambda \beta _{n-1}^{[k]}(u),~~n\ge k+1,~~ 0\le k \le a-1. \end{aligned}$$
(8)

Further, we define for Re \(\theta \ge 0\),

$$\begin{aligned}&\tilde{S}_r{(\theta )}=\int _{0}^{\infty }e^{-\theta u}dS_r{(u)} =\int _{0}^{\infty }e^{-\theta u}s_r{(u)}du,~~ a \le r\le b, \end{aligned}$$
(9)
$$\begin{aligned}&\tilde{\alpha }_{n,r}(\theta )=\int _{0}^{\infty }e^{-\theta u} \alpha _{n,r}(u)du,~~a\le r\le b,~n\ge 0, \end{aligned}$$
(10)
$$\begin{aligned}&\alpha _{n,r}\equiv \tilde{\alpha }_{n,r}(0)=\int _{0}^{\infty } \alpha _{n,r}(u)du,~~a\le r\le b,~ n\ge 0, \end{aligned}$$
(11)
$$\begin{aligned}&\tilde{V}_k{(\theta )}=\int _{0}^{\infty }e^{-\theta u}dV_k{(u)} =\int _{0}^{\infty }e^{-\theta u}v_k{(u)}du,~~ 0 \le k\le a-1, \end{aligned}$$
(12)
$$\begin{aligned}&\tilde{\beta }_n^{[k]}(\theta )=\int _{0}^{\infty } e^{-\theta u}\beta _n^{[k]}(u)du,~~0\le k\le a-1,~n\ge k, \end{aligned}$$
(13)
$$\begin{aligned}&\beta _n^{[k]}\equiv \tilde{\beta }_n^{[k]}(0)=\int _{0}^{\infty } \beta _n^{[k]}(u)du,~~0\le k\le a-1,~~ n\ge k. \end{aligned}$$
(14)

One may note here that (\(f_n\)\(\{\alpha _{n,r}\}\) [\(\beta _n^{[k]}\)] denotes the probability of (queue size is n and the sever is dormant, \(0\le n\le a-1\)) {queue size is n and batch size with server is r, \(a\le r\le b\), \(n\ge 0\)} [queue size is n and the server is on \(k^{th}\) vacation type, \(0\le k\le a-1\), \(n\ge k\)] at arbitrary epoch.

Our main objective is to obtain \(f_n, \alpha _{n,r}\) and \(\beta _n^{[k]}\) using (1)–(8). Keeping this in mind we multiply (3)–(8) by \(e^{-\theta u}\) and integrate with respect to u over the limits 0 to \(\infty \), we get,

$$\begin{aligned} (\lambda -\theta )\tilde{\alpha }_{0,a}(\theta )= & {} (1-\delta ) \lambda f_{a-1}\tilde{S_a}(\theta ) +\bigg (\sum \limits _{k=0}^{a-1}\beta _a^{[k]}(0) +\sum \limits _{r=a}^{b}\alpha _{a,r}(0)\bigg )\tilde{S_a}(\theta )\nonumber \\&-\alpha _{0,a}(0), \end{aligned}$$
(15)
$$\begin{aligned} (\lambda -\theta )\tilde{\alpha }_{0,r}(\theta )= & {} \bigg (\sum \limits _{k=0}^{a-1}\beta _r^{[k]}(0) +\sum \limits _{j=a}^{b}\alpha _{r,j}(0)\bigg )\tilde{S_r}(\theta )\nonumber \\&-\alpha _{0,r}(0),~~ a+1\le r\le b, \end{aligned}$$
(16)
$$\begin{aligned} (\lambda -\theta )\tilde{\alpha }_{n,r}(\theta )= & {} \lambda \tilde{\alpha }_{n-1,r}(\theta )-\alpha _{n,r}(0), ~~n\ge 1,a\le r\le b-1, \end{aligned}$$
(17)
$$\begin{aligned} (\lambda -\theta )\tilde{\alpha }_{n,b}(\theta )= & {} \lambda \tilde{\alpha }_{n-1,b}(\theta ) +\bigg (\sum \limits _{k=0}^{a-1}\beta _{n+b}^{[k]}(0) +\sum \limits _{r=a}^{b}\alpha _{n+b,r}(0)\bigg )\tilde{S_b}(\theta )\nonumber \\&-\alpha _{n,b}(0),~n\ge 1, \end{aligned}$$
(18)
$$\begin{aligned} (\lambda -\theta )\tilde{\beta }_k^{[k]}(\theta )= & {} \bigg (\sum \limits _{r=a}^{b}\alpha _{k,r}(0) +\delta \sum \limits _{j=0}^{k}\beta _k^{[j]}(0)\bigg ) \tilde{V}_k(\theta )\nonumber \\&-\beta _k^{[k]}(0),~~0\le k\le a-1, \end{aligned}$$
(19)
$$\begin{aligned} (\lambda -\theta )\tilde{\beta }_n^{[k]}(\theta )= & {} \lambda \tilde{\beta }_{n-1}^{[k]}(\theta ) -\beta _n^{[k]}(0)~~n\ge k+1,~~0\le k\le a-1. \end{aligned}$$
(20)

As our primary aim is to find the joint probabilities of the queue size as well as the batch size with the server (queue size and the vacation type of server) at an arbitrary epoch, which seems to be difficult to obtain directly from (15)–(20). Hence, we characterize the system state at service (vacation) completion epoch which reduces the continuous time Markov process into an embedded Markov chain where embedded Markov points are defined as service completion epoch and vacation termination epoch. The approach of finding an embedded Markov chain reduces the complexity of the system for mathematical evaluation. Towards this end, we set out the following probabilities at service (vacation) completion epoch as follows:

$$\begin{aligned} \alpha _{n,r}^{+}= & {} Pr\{\text {queue size is}\ n\ \text {at service completion epoch of a batch size}\ r\}, ~~n\ge 0,~~a\le r\le b,\nonumber \\ \alpha _n^{+}= & {} Pr\{\text {queue size is}\ n\ \text {at service completion epoch of a batch}\}\nonumber \\= & {} ~~\sum \limits _{r=a}^{b}\alpha _{n,r}^{+},~~n\ge 0, \end{aligned}$$
(21)
$$\begin{aligned} \beta _n^{[k]+}= & {} Pr\{\text {queue size is}\ n\ \text {at}\ k^{th} \ \text {vacation type}\nonumber \\&\text {termination epoch}\},~~0\le k\le a-1,~~n\ge k, \end{aligned}$$
(22)
$$\begin{aligned} \beta _n^{+}= & {} Pr\{\text {queue size is}\ n\ \text {at the vacation termination epoch}\}\nonumber \\= & {} \sum \limits _{k=0}^{min(n,a-1)}\beta _n^{[k]+},~~n\ge 0. \end{aligned}$$
(23)

Joint Probabilities at Service (Vacation) Completion Epoch

In this section, our objective is to find \(\alpha _{n,r}^{+}\) \((a\le r\le b, n\ge 0,)\) and \(\beta _n^{[k]+}\) \((0\le k\le a-1, n\ge k)\), In this connection we define few generating functions are as follows:

$$\begin{aligned} P(z,y,\theta )= & {} \sum \limits _{n=0}^{\infty }\sum \limits _{r=a}^{b} \tilde{\alpha }_{n,r}(\theta )z^ny^r,|z|\le 1,~ |y|\le 1, \end{aligned}$$
(24)
$$\begin{aligned} P^{+}(z,y)= & {} \sum \limits _{n=0}^{\infty } \sum \limits _{r=a}^{b}{\alpha }_{n,r}^{+}z^ny^r,|z| \le 1,~ |y|\le 1, \end{aligned}$$
(25)
$$\begin{aligned} P^{+}(z)= & {} \sum \limits _{n=0}^{\infty }\sum \limits _{r=a}^{b} {\alpha }_{n,r}^{+}z^n=\sum \limits _{n=0}^{\infty }\alpha _n^{+}z^n, ~~|z|\le 1, \end{aligned}$$
(26)
$$\begin{aligned} Q(z,y,\theta )= & {} \sum \limits _{k=0}^{a-1}\sum \limits _{n=k}^{\infty } \tilde{\beta }_n^{[k]}(\theta )z^ny^k,|z|\le 1,~ |y|\le 1, \end{aligned}$$
(27)
$$\begin{aligned} Q^{+}(z,y)= & {} \sum \limits _{k=0}^{a-1}\sum \limits _{n=k}^{\infty } \beta _n^{[k]+}z^ny^k, |z|\le 1,~ |y|\le 1, \end{aligned}$$
(28)
$$\begin{aligned} Q^{+}(z)= & {} \sum \limits _{k=0}^{a-1}\sum \limits _{n=k}^{\infty } \beta _n^{[k]+}z^n=\sum \limits _{n=0}^{\infty } \sum \limits _{k=0}^{min(n,a-1)}\beta _n^{[k]+}z^n\nonumber \\= & {} \sum \limits _{n=0}^{\infty }\beta _n^{+}z^n, ~~|z|\le 1. \end{aligned}$$
(29)

Further, we set out the following probabilities

$$\begin{aligned} m_j^{(r)}= & {} Pr\{j\ \text {customers arrive during the service of the batch size}\ r\}, ~j\ge 0,~~ a\le r\le b,\nonumber \\= & {} \int _{0}^{\infty }\frac{e^{-\lambda t}(\lambda t)^j}{j!}s_r(t)dt, \end{aligned}$$
(30)
$$\begin{aligned} \nonumber w_j^{(k)}= & {} Pr\{j\ \text {customers arrive during the}\ k^{th} \ \text {vacation type}\}, ~~j\ge 0,~ 0\le k\le a-1, \nonumber \\= & {} \int _{0}^{\infty }\frac{e^{-\lambda t}(\lambda t)^j}{j!}v_k(t)dt, \end{aligned}$$
(31)

such that \(\sum \limits _{j=0}^{\infty }m_j^{(r)}=1\), \(\sum \limits _{j=0}^{\infty }w_j^{(k)}=1\).

The PGF (probability generating function) of \(m_j^{(r)}\) and \(w_j^{(k)}\) are defined as follows:

$$\begin{aligned} M^{(r)}(z)= & {} \sum \limits _{j=0}^{\infty }m_j^{(r)}z^j =\tilde{S}_r(\lambda -\lambda z),~~a\le r\le b,~~ |z|\le 1, \end{aligned}$$
(32)
$$\begin{aligned} N^{(k)}(z)= & {} \sum \limits _{j=0}^{\infty }w_j^{(k)}z^j=\tilde{V}_k (\lambda -\lambda z),~~ 0\le k\le {a-1},~~ |z|\le 1. \end{aligned}$$
(33)

Lemma 1

The joint probabilities \(\alpha _{n,r}^{+},\) \(\beta _n^{[k]+},\) \(\alpha _{n,r}(0)\) and \(\beta _n^{[k]}(0)\) \((a\le r\le b, 0\le k\le a-1)\) are associated with the following relation

$$\begin{aligned} \alpha _{n,r}^{+}= & {} \sigma {\alpha _{n,r}(0)},~~n\ge 0, \end{aligned}$$
(34)
$$\begin{aligned} \beta _n^{[k]+}= & {} \sigma {\beta _n^{[k]}(0)},~~n\ge k, \end{aligned}$$
(35)

where \(\sigma ^{-1}=\sum \nolimits _{m=0}^{\infty } \sum \nolimits _{r=a}^{b}\alpha _{m,r}(0) +\sum \nolimits _{m=0}^{\infty } \sum \nolimits _{k=0}^{min(m,a-1)}\beta _m^{[k]}(0)\).

Proof

Since \(\alpha _{n,r}^{+}\) and \(\beta _n^{[k]+}\) are proportional to \(\alpha _{n,r}(0)\) and \(\beta _n^{[k]}(0)\), respectively, using the concept of Bayes’ theorem and \(\sum \nolimits _{n=0}^{\infty } \sum \nolimits _{r=a}^{b}\alpha _{n,r}^{+}+\sum \nolimits _{n=0}^{\infty } \sum \nolimits _{k=0}^{min(n,a-1)}\beta _n^{[k]+}\)=1 we get the desired outcome. \(\square \)

Lemma 2

The value \(\sigma ^{-1}\) is given by

$$\begin{aligned} \sigma ^{-1}=\frac{1-(1-\delta )\sum \nolimits _{n=0}^{a-1}f_n}{s_b\sum \nolimits _{n=b+1}^{\infty }\big (\alpha _n^{+} +\beta _n^{+}\big )+\sum \nolimits _{n=a}^{b} \big (\alpha _n^{+}+\beta _n^{+}\big )s_n +\sum \nolimits _{n=0}^{a-1}\big (\alpha _n^{+}x_n +(1-\delta ) \beta _n^{+}s_a+\delta \beta _n^{+}x_n \big )}.\nonumber \\ \end{aligned}$$
(36)

Proof

Using (1) and (2), we obtain

$$\begin{aligned} \lambda f_{n}=\sum \limits _{m=0}^{n}\sum \limits _{k=0}^{m} \beta _m^{[k]}(0),~~0\le n\le a-1. \end{aligned}$$
(37)

Using (37) in (15), we get

$$\begin{aligned} (\lambda -\theta )\tilde{\alpha }_{0,a}(\theta ) =\sum \limits _{n=0}^{a-1}\sum \limits _{k=0}^{n} \beta _n^{[k]}(0)\tilde{S}_a{(\theta )}+\bigg (\sum \limits _{k=0}^{a-1} \beta _a^{[k]}(0)+\sum \limits _{r=a}^{b}\alpha _{a,r}(0)\bigg ) \tilde{S}_a{(\theta )}-\alpha _{0,a}(0).\nonumber \\ \end{aligned}$$
(38)

Summing (38) and (16)–(20), we get

$$\begin{aligned} \sum \limits _{m=0}^{\infty }\sum \limits _{r=a}^{b}\alpha _{m,r}(\theta ) +\sum \limits _{m=0}^{\infty }\sum \limits _{k=0}^{min(m,a-1)} \beta _m^{[k]}(\theta )= & {} \frac{1-\tilde{S}_b{(\theta )}}{\theta } \sum \limits _{n=b+1}^{\infty }\bigg (\sum \limits _{r=a}^{b} \alpha _{n,r}(0)+\sum \limits _{k=0}^{a-1}\beta _n^{[k]}(0)\bigg )\nonumber \\&+\sum \limits _{n=a}^{b}\bigg (\sum \limits _{r=a}^{b}\alpha _{n,r}(0) +\sum \limits _{k=0}^{a-1}\beta _n^{[k]}(0)\bigg ) \frac{1-\tilde{S}_n{(\theta )}}{\theta }\nonumber \\&+\sum \limits _{n=0}^{a-1}\bigg (\sum \limits _{r=a}^{b} \alpha _{n,r}(0)+\delta \sum \limits _{k=0}^{n}\beta _n^{[k]}(0)\bigg ) \frac{1-\tilde{V}_n{(\theta )}}{\theta }\nonumber \\&+(1-\delta )\frac{1-\tilde{S}_a{(\theta )}}{\theta } \sum \limits _{n=0}^{a-1}\sum \limits _{k=0}^{n}\beta _n^{[k]}{(0)}. \end{aligned}$$
(39)

Taking \(\theta \rightarrow 0\) in (39) and using L’Hôspital’s rule, the normalization condition \((1-\delta )\sum \nolimits _{n=0}^{a-1}f_n+\sum \nolimits _{n=0}^{\infty } \sum \nolimits _{r=a}^{b}\alpha _{n,r}+\sum \nolimits _{n=0}^{\infty } \sum \nolimits _{k=0}^{min(n,a-1)}\beta _n^{[k]}\)=1, after few algebraic calculation we get the desired outcome. \(\square \)

Lemma 3

$$\begin{aligned} Q^{+}(z)=\sum \limits _{k=0}^{a-1}\sum \limits _{n=k}^{\infty } \beta _n^{[k]+}z^{n}=\sum \limits _{k=0}^{a-1}(\alpha _k^{+} +\delta \beta _k^{+})N^{(k)}(z)z^{k} \end{aligned}$$
(40)

Proof

Multiplying (19) and (20) by the appropriate power of z and y, and adding them over the range of n and k, we get

$$\begin{aligned}&(\lambda -\theta -\lambda z)Q(z,y,\theta )=\sum \limits _{k=0}^{a-1} \bigg (\sum \limits _{r=a}^{b}\alpha _{k,r}(0)+\delta \sum \limits _{j=0}^{k}\beta _j^{[k]}(0)\bigg )\tilde{V}_k{(\theta )}z^{k} y^k\nonumber \\&\quad -\sum \limits _{k=0}^{a-1}\sum \limits _{n=k}^{\infty } \beta _n^{[k]}(0)z^{n}y^k. \end{aligned}$$
(41)

Now substituting \(\theta \)=\(\lambda -\lambda z\) in (41) and using Lemma 1, (21) and (23) we obtain

$$\begin{aligned} \sum \limits _{k=0}^{a-1}\sum \limits _{n=k}^{\infty }\beta _n^{[k]+} z^{n}y^k=\sum \limits _{k=0}^{a-1}\big (\alpha _k^{+}+\delta \beta _k^{+}\big )N^{(k)}(z)z^{k}y^{k}. \end{aligned}$$
(42)

Substituting \(y=1\) in (42) we acquire the desired outcome. \(\square \)

Lemma 4

$$\begin{aligned} \beta _n^{[k]+}=\bigg (\alpha _k^{+}+\delta \sum \limits _{j=0}^{k} \beta _k^{[j]+}\bigg )w_{n-k}^{(k)},~~ 0\le k\le a-1, n\ge k. \end{aligned}$$
(43)

Proof

From (42) collecting the coefficients of \(y^{k}\) \((0\le k\le a-1)\) we obtain,

$$\begin{aligned} \sum \limits _{n=k}^{\infty }\beta _n^{[k]+}z^n=(\alpha _k^{+}+\delta \beta _k^{+})N^{(k)}(z)z^{k}. \end{aligned}$$
(44)

Now using (33) and (23), in (44) and collecting the coefficients of \(z^{n}\) \((n\ge k)\) we obtain desired result (43). \(\square \)

Hence from Lemma 4 it is clear that once \(\alpha _k^{+}\) \((0\le k\le a-1)\) are known, the joint probabilities \(\beta _n^{[k]+}\) (\(0\le k\le a-1, n\ge k\)) are all known.

Now we turn our focus is to find the bivariate generating function for the queue size and batch size with the server at service completion epoch. Towards this end, multiplying (15)–(18) by appropriate power of z and y and adding them over the range of n and r we obtain,

$$\begin{aligned} (\lambda -\theta -\lambda z)P(z,y,\theta )&=(1-\delta ) \sum \limits _{n=0}^{a-1}\sum \limits _{k=0}^{n}\beta _n^{[k]}(0) \tilde{S}_a{(\theta )}y^a\nonumber \\&\quad +\sum \limits _{r=a}^{b}\bigg (\sum \limits _{k=0}^{a-1}\beta _r^{[k]}(0) +\sum \limits _{j=a}^{b}\alpha _{r,j}(0)\bigg ) \tilde{S}_r{(\theta )}y^r\nonumber \\&\quad +\sum \limits _{n=b+1}^{\infty }\bigg (\sum \limits _{k=0}^{a-1} \beta _n^{[k]}(0)+\sum \limits _{r=a}^{b}\alpha _{n,r}(0)\bigg ) \tilde{S}_b{(\theta )}z^{n-b}y^b\nonumber \\&\qquad -\sum \limits _{n=0}^{\infty } \sum \limits _{r=a}^{b}\alpha _{n,r}(0)z^{n}y^r. \end{aligned}$$
(45)

Substituting \(\theta =(\lambda -\lambda z)\) in the above expression and using Lemma 1, (21), (23) and (25), we get

$$\begin{aligned} P^{+}(z,y)= & {} (1-\delta )y^{a}M^{(a)}(z)\sum \limits _{n=0}^{a-1} \beta _n^{+}+\sum \limits _{r=a}^{b}\bigg (\beta _r^{+}+\alpha _r^{+}\bigg ) M^{(r)}(z)y^{r}\nonumber \\&+\sum \limits _{n=b+1}^{\infty }\bigg (\beta _n^{+} +\alpha _n^{+}\bigg )M^{(b)}(z)z^{n-b}y^{b}. \end{aligned}$$
(46)

substituting \(y=1\) in (46) and using Lemma 3 and (26), we get the following result,

$$\begin{aligned} P^{+}(z)=\frac{\begin{array}{l} \bigg \{\sum \nolimits _{n=0}^{a-1}\big [M^{(b)}(z)(\alpha _n^{+} +\delta \beta _n^{+})\big (N^{(n)}(z)-1\big )z^n+(1-\delta ) \beta _n^{+}\big (M^{(a)}(z)z^b-M^{(b)}(z)z^n\big )\big ]\\ \quad \qquad +\sum \nolimits _{n=a}^{b-1}(\beta _n^{+}+\alpha _n^{+}) \big (M^{(n)}(z)z^b-M^{(b)}(z)z^n\big )\bigg \} \end{array}}{z^b-M^{(b)}(z)}.\nonumber \\ \end{aligned}$$
(47)

Finally, using (47) in (46) after some algebraic manipulation we obtain,

$$\begin{aligned} P^{+}(z,y)=\frac{\begin{array}{l} \sum \nolimits _{n=0}^{a-1}\big [(1-\delta )\beta _n^{+} \big (z^{b}y^{a}M^{(a)}(z)-y^{b}M^{(b)}(z)z^n\big ) +(1-\delta )M^{(a)}(z)M^{(b)}(z)\big (y^{b}-y^{a}\big )\beta _n^{+}\\ \qquad \quad +y^{b}(\alpha _n^{+}+\delta \beta _n^{+})\big (N^{(n)}(z)-1\big ) M^{(b)}(z)z^n\big ]\\ \qquad +\sum \nolimits _{n=a}^{b-1}\big (\beta _n^{+}+\alpha _n^{+}\big ) \big (z^{b}y^{n}M^{(n)}(z)+\big (y^{b}-y^{n}\big )M^{(n)}(z)M^{(b)}(z) -y^{b}M^{(b)}(z)z^n\big ) \end{array}}{z^{b}-M^{(b)}(z)}. \end{aligned}$$
(48)

Remark 1

The bivariate generation function (44) of the queue size and the vacation type at vacation termination epoch, and the bivariate generating function of the queue size and batch size with the server at service completion epoch, i.e., (48) have not analyzed in the literature so far.

It may be observed from (48) that the generating function \(P^{+}(z,y)\) is in the compact form, excluding the the b unknowns \(\{\alpha ^{+}_n\}_{n=0}^{b-1}\). One may further note from Lemma 4 that once \(\alpha ^{+}_k\) \((0\le k\le a-1)\) are known then the joint probabilities \(\beta _n^{[k]+}\) \((0\le k\le a-1)\) are completely known. Hence, in order to find \({\alpha ^{+}_{n,r}}\) \((a\le r\le b, n\ge 0)\) and \(\beta _n^{[k]+}\) \((0\le k\le a-1, n\ge k),\) one should first find the unknowns \(\{\alpha ^{+}_n\}_{n=0}^{b-1}\). Next section is dedicated in getting these unknowns \(\{\alpha ^{+}_n\}_{n=0}^{b-1}\).

Procedure of Getting the Unknowns \(\alpha _n^{+}\) \((0\le n\le b-1)\)

Note that the unknowns \(\alpha _n^{+}\) \((0\le n\le b-1)\), as appeared in (48), are the same as the unknowns which are appeared in (47). Using the Rouche’s theorem one may conclude that, for \(\rho <1\), \(z^{b}-M^{(b)}(z)\) has (\(b-1\)) zeros, say \(\hat{e}_1,\hat{e}_2,...,\hat{e}_{l}\), with multiplicity \(r_1,r_2,...,r_l\), respectively, inside the unit circle \(|z|=1\) (where (\(l\le b-1\)) and \(\sum \nolimits _{i=1}^{l}r_i=(b-1)\)) and one simple zero, say, \(z_b=1\), on the unit circle \(|z|=1\). Due to analyticity of (47) in \(|z|\le 1\) these zeros are also the zeros of numerator of (47). Hence, from (47) we have \((b-1)\) linearly independent equations,

$$ \begin{aligned}&\bigg [\frac{d^{i-1}}{dz^{i-1}}\bigg (\sum \limits _{n=0}^{a-1} \big \{M^{(b)}(z)(\alpha _n^{+}+\delta \beta _n^{+}) \big (N^{(n)}(z)-1\big )z^n+(1-\delta )\beta _n^{+} \big (M^{(a)}(z)z^b-M^{(b)}(z)z^n\big )\big \}\nonumber \\&\qquad \quad +\sum \limits _{n=a}^{b-1}(\beta _n^{+} +\alpha _n^{+})\big (M^{(n)}(z)z^b-M^{(b)}(z)z^n\big ) \bigg )\bigg ]_{z=\hat{e}_j}=0,~1\le j\le l~ \& ~1\le i\le r_j,\qquad \end{aligned}$$
(49)

where \(\frac{d^0}{dz^0}h(z)\equiv h(z)\).

Now using (47), Lemma 3 and the normalization condition \(P^{+}(1)+Q^{+}(1)=1\), applying L’Hôspital’s rule, we get

$$\begin{aligned}&\sum \limits _{n=0}^{a-1}\bigg [(\alpha _n^{+}+\delta \beta _n^{+}) (\lambda x_n+b-b\rho )+(1-\delta )\beta _n^{+}(b-n)\bigg ]\nonumber \\&\qquad \quad +\sum \limits _{n=a}^{b-1}\bigg [\bigg (\beta _n^{+} +\alpha _{n}^{+}\bigg )\bigg (b-n+\lambda (s_{n}-s_{b})\bigg )\bigg ]=b-b\rho . \end{aligned}$$
(50)

Hence, (49) and (50) together forms non-homogenous system of b linearly independent equations in b unknowns \(\alpha _n^{+}\) \((0\le n\le b-1)\), solving them we uniquely determine \(\alpha _n^{+}\) \((0\le n\le b-1)\).

Theorem 1

The joint probabilities \(\alpha _{n,r}^{+}\) \((1 \le a\le r\le {b-1}, n\ge 0)\) are given by

$$\begin{aligned} \alpha _{n,a}^{+}= & {} \bigg ((1-\delta )\sum \limits _{m=0}^{a-1} \beta _m^{+}+\beta _a^{+}+\alpha _{a}^{+}\bigg )m^{(a)}_n, \end{aligned}$$
(51)
$$\begin{aligned} \alpha _{n,r}^{+}= & {} \bigg (\beta _r^{+}+\alpha _{r}^{+}\bigg )m^{(r)}_n, ~~{a+1}\le r\le {b-1}. \end{aligned}$$
(52)

Proof

Using (25) in (48) and then accumulating the coefficients of \(y^r\) \((1 \le a\le r\le b-1)\), we obtain

$$\begin{aligned}&{\text {coefficient of}\ y^a} :\sum \limits _{n=0}^{\infty } \alpha _{n,a}^{+}z^n=\bigg ((1-\delta )\sum \limits _{m=0}^{a-1} \beta _m^{+}+\beta _a^{+}+\alpha _{a}^{+}\bigg )M^{(a)}(z). \end{aligned}$$
(53)
$$\begin{aligned}&{\text {coefficient of}\ y^r}:\sum \limits _{n=0}^{\infty } \alpha _{n,r}^{+}z^n=\bigg (\beta _r^{+}+\alpha _{r}^{+}\bigg ) M^{(r)}(z), a+1\le r\le b-1. \end{aligned}$$
(54)

Using (32) in (53) and (54), and then accumulating the coefficients of \(z^n\), we readily obtain the desired result (51) and (52). \(\square \)

We now proceed with our mathematical analysis to achieve the remaining joint probabilities \(\alpha ^{+}_{n,b}\) \((n\ge 0)\). To get these, we use (25) in (48), and then accumulating the coefficient of \(y^b\), we obtain

$$\begin{aligned} \sum \limits _{n=0}^{\infty }\alpha _{n,b}^{+}z^n =\frac{\begin{array}{l} M^{(b)}(z)\bigg \{\sum \limits _{n=0}^{a-1} \bigg [(\alpha _n^{+}+\delta \beta _n^{+}) (N^{(n)}(z)-1)z^n+(1-\delta ) \beta _n^{+}(M^{(a)}(z)-z^n)\bigg ]\\ \qquad \quad +\sum \nolimits _{n=a}^{b-1}(\beta _n^{+}+\alpha _n^{+}) (M^{(n)}(z)-z^n)\bigg \}\end{array}}{z^b-M^{(b)}(z)}.\nonumber \\ \end{aligned}$$
(55)

Now to derive \(\alpha ^{+}_{n,b}\) \((n\ge 0)\) completely we need to invert the right hand side of (55) and towards this direction we consider LST of service time and the vacation time distribution as \(\tilde{S}_r{(\theta )}=\frac{P_{r}{(\theta )}}{Q_r{(\theta )}}\),  \(a\le r\le b\), and \(\tilde{V}_k(\theta )=\frac{P_{k}(\theta )}{Q_{k}(\theta )}\), \(0\le k\le a-1\), respectively. Here one should note that the logic behind the consideration of \(\tilde{S}_r{(\theta )}\) and \(\tilde{V}_k(\theta )\) in rational form is that, in most of real life queueing model service (vacation) time distribution can be expressed as rational function. However, the transcendental LST (for example LST of deterministic distribution) can be handle using Pad\(\acute{e}\) approximation.

Now substituting \(M^{(r)}(z)=\tilde{S}_r(\lambda -\lambda z)=\frac{P_{r}{(\lambda -\lambda z)}}{Q_r{(\lambda -\lambda z)}}\) , \(a\le r\le b\) and \(N^{(k)}(z)=\tilde{V}_k(\lambda -\lambda z)=\frac{P_{k}{(\lambda -\lambda z)}}{Q_k{(\lambda -\lambda z)}}\), \(0\le k\le a-1\), in the right hand side of (55), after some simplification (55) can be converted as,

$$\begin{aligned} \sum \limits _{n=0}^{\infty }\alpha _{n,b}^{+}z^n=\frac{U(z)}{D(z)}, \end{aligned}$$
(56)

where U(z) and D(z) are polynomials of degree \(\bar{u}\) and d, respectively, and D(z) is a monic polynomial (i.e., the coefficient of \(z^d\) in D(z) is 1). To extract the joint probabilities \(\alpha ^{+}_{n,b}\) \((n\ge 0)\) the zeros of D(z) of modules greater than one must be known. Due to analyticity of (56), in \(|z|\le 1\), the zeros of D(z) which lie inside and on the unit circle are also the zeros of U(z), therefore, they can not play any role in extracting \(\alpha ^{+}_{n,b}\) \((n\ge 0)\). Towards this end, let \(\gamma _1,\gamma _2,...,\gamma _l\) be the zeros of D(z) of modules greater than one with multiplicity \(\tau _1,\tau _2,...,\tau _l\), respectively, such that \(\sum \nolimits _{j=1}^{l}\tau _j\le d\). Now two cases may arise depending on d and \(\bar{u}\). We address these two cases as follows:

Case A: \(d\le \bar{u}\)

Applying the method of partial fraction on (56), \(\sum \nolimits _{n=0}^{\infty }\alpha _{n,b}^{+}z^n\) is given by,,

$$\begin{aligned} \sum \limits _{n=0}^{\infty }\alpha _{n,b}^{+}z^n =\sum \limits _{i=0}^{\bar{u}-d}\varrho _iz^i +\sum \limits _{j=1}^{l}\sum \limits _{i=1}^{\tau _j} \frac{B_{i,j}}{(z-\gamma _{j})^{\tau _j-i+1}}, \end{aligned}$$
(57)

where

$$\begin{aligned} B_{i,j}=\frac{1}{(i-1)!}\bigg [\frac{d^{i-1}}{dz^{i-1}} \bigg (\frac{U(z)\frac{d^{\tau _j}}{dz^{\tau _j}}(z-\gamma _j)^{\tau _j}}{\frac{d^{\tau _j}}{dz^{\tau _j}}(D(z))}\bigg )\bigg ]_{z=\gamma _{j}}, j=1,2,...,l,~i=1,2,...,\tau _j.\nonumber \\ \end{aligned}$$
(58)

Accumulating the coefficients of \(z^n\) \((n\ge 0)\) from (57) we get,

$$\begin{aligned} \alpha _{n,b}^{+}={\left\{ \begin{array}{ll} \varrho _n+\sum \nolimits _{j=1}^{l}\sum \nolimits _{i=1}^{\tau _j}\frac{B_{i,j}}{(-1)^{\tau _j-i+1}\gamma _j^{\tau _{j}+n-i+1}}\left( {\begin{array}{c}{\tau _{j}-i+n}\\ {\tau _j-i}\end{array}}\right) , &{} 0\le n\le \bar{u}-d,\\ \sum \nolimits _{j=1}^{l}\sum \nolimits _{i=1}^{\tau _j}\frac{B_{i,j}}{(-1)^{\tau _j-i+1}\gamma _j^{\tau _{j}+n-i+1}}\left( {\begin{array}{c}{\tau _{j}-i+n}\\ {\tau _j-i}\end{array}}\right) ,&n>\bar{u}-d. \end{array}\right. } \end{aligned}$$

Case B: \(d>\bar{u}\)

We eliminate first summation of the right-hand side of (57) and hence \(\alpha _{n,b}^{+}\) is given by,

$$\begin{aligned} \alpha _{n,b}^{+}=\sum \limits _{j=1}^{l}\sum \limits _{i=1}^{\tau _j} \frac{B_{i,j}}{(-1)^{\tau _j-i+1}\gamma _j^{\tau _{j}+n-i+1}} \left( {\begin{array}{c}{\tau _{j}-i+n}\\ {\tau _j-i}\end{array}}\right) ,~~n\ge 0. \end{aligned}$$
(59)

Thus, we have completed the analysis of the joint probabilities \(\alpha _{n,r}^{+}\) (\( a \le r \le b, n\ge 0\)) at service completion epoch and \(\beta ^{[k]+}_{n}\) (\(0\le k\le a-1, n\ge k\)) at the vacation termination epoch. Now we turn our objective for getting these probabilities at arbitrary epoch.

Remark 2

By inverting the PGF \(M^{(r)}(z)\) and \(N^{(k)}(z)\) we can easily compute \(m_j^{(r)}\), \(a\le r\le b, ~j\ge 0\) and \(w_j^{(k)}\), \(0\le k\le a-1, ~j\ge 0\).

Theorem 2

The probabilities \(f_n\) \((0\le n\le a-1)\), \(\alpha _{n,r}\) \((n\ge 0, a\le r\le b)\) and \(\beta _n^{[k]}\) \((n\ge k, 0\le k\le a-1)\) are given by,

$$\begin{aligned} f_n= & {} \frac{\sum \nolimits _{m=0}^{n}\beta _m^{+}}{E},~~0\le n \le a-1~~ (for~ SV) \end{aligned}$$
(60)
$$\begin{aligned} \alpha _{n,a}= & {} \frac{(1-\delta )\sum \nolimits _{m=0}^{a-1}\beta _m^{+} +\beta _a^{+}-\sum \nolimits _{j=0}^{n}\alpha _{j,a}^{+} +\alpha _a^{+}}{E},~~ n\ge 0, \end{aligned}$$
(61)
$$\begin{aligned} \alpha _{n,r}= & {} \frac{\beta _r^{+}+\alpha _r^{+} -\sum \nolimits _{j=0}^{n}\alpha _{j,r}^{+}}{E}, ~~ n\ge 0,~ a+1\le r\le b-1, \end{aligned}$$
(62)
$$\begin{aligned} \alpha _{n,b}= & {} \frac{\sum \nolimits _{j=0}^{n} \big (\beta _{b+j}^{+}+\alpha _{b+j}^{+}-\alpha _{j,b}^{+}\big )}{E}, ~~ n\ge 0, \end{aligned}$$
(63)
$$\begin{aligned} \beta _n^{[k]}= & {} \frac{\alpha _k^{+}+\delta \beta _k^{+} -\sum \nolimits _{j=k}^{n}\beta _j^{[k]+}}{E},~~ n\ge k, ~0\le k\le a-1, \end{aligned}$$
(64)

where \(E=\lambda g+(1-\delta )\sum \nolimits _{i=0}^{a-1}(a-i)\beta _i^{+}\),

\(g=s_b\sum \limits _{n=b+1}^{\infty }\big (\alpha _n^{+} +\beta _n^{+}\big )+\sum \limits _{n=a}^{b}\big (\alpha _n^{+} +\beta _n^{+}\big )s_n+\sum \limits _{n=0}^{a-1}\big (\alpha _n^{+}x_n+(1-\delta ) \beta _n^{+}s_a+\delta \beta _n^{+}x_n \big )\).

Proof

Dividing (1) by \(\sigma ^{-1}\) and using Lemma 1, Lemma 2 and (23), we obtain

$$\begin{aligned} f_0=\frac{\left( 1-\sum \nolimits _{n=0}^{a-1}f_n\right) \beta ^{+}_0}{\lambda g}. \end{aligned}$$
(65)

Similarly, from (37), we obtain

$$\begin{aligned} f_n=\frac{\left( 1-\sum \nolimits _{i=0}^{a-1}f_i\right) \sum \nolimits _{m=0}^{n} \beta ^{+}_m}{\lambda g},~~0\le n\le a-1. \end{aligned}$$
(66)

Using (65) in (66), we obtain

$$\begin{aligned} f_n=\frac{f_0}{\beta ^{+}_0}\sum \nolimits _{m=0}^{n} \beta ^{+}_m,~~0\le n\le a-1. \end{aligned}$$
(67)

Using (67) in (65) after some algebraic manipulation, we obtain

$$\begin{aligned} f_0=\frac{\beta ^{+}_0}{\lambda g+\sum \nolimits _{i=0}^{a-1}(a-i) \beta ^{+}_i}. \end{aligned}$$
(68)

Using (68) in (67), we obtain

$$\begin{aligned} f_n=\frac{\sum \nolimits _{m=0}^{n}\beta ^{+}_m}{\lambda g +\sum \limits _{i=0}^{a-1}(a-i)\beta ^{+}_i},~~ 0\le n\le a-1. \end{aligned}$$
(69)

Setting \(\theta \)=0 in (15)–(20), we get

$$\begin{aligned} \lambda \alpha _{0,a}= & {} (1-\delta )\sum \nolimits _{m=0}^{a-1} \sum \nolimits _{k=0}^{m}\beta ^{[k]}_m(0)+\sum \nolimits _{k=0}^{a-1} \beta ^{[k]}_a(0)+\sum \nolimits _{r=a}^{b}\alpha _{a,r}(0)-\alpha _{0,a}(0), \nonumber \\\end{aligned}$$
(70)
$$\begin{aligned} \lambda \alpha _{0,r}= & {} \sum \limits _{k=0}^{a-1}\beta ^{[k]}_r(0) +\sum \limits _{j=a}^{b}\alpha _{r,j}(0)-\alpha _{0,r}(0), ~~a+1\le r\le b, \end{aligned}$$
(71)
$$\begin{aligned} \lambda \alpha _{n,r}= & {} \lambda \alpha _{n-1,r}-\alpha _{n,r}(0), ~~n\ge 1,~a\le r\le b-1, \end{aligned}$$
(72)
$$\begin{aligned} \lambda \alpha _{n,b}= & {} \lambda \alpha _{n-1,b}+\sum \limits _{k=0}^{a-1} \beta ^{[k]}_{n+b}(0)+\sum \limits _{r=a}^{b}\alpha _{n+b,r}(0) -\alpha _{n,b}(0),~~n\ge 1, \end{aligned}$$
(73)
$$\begin{aligned} \lambda \beta ^{[k]}_k= & {} \sum \limits _{r=a}^{b}\alpha _{k,r}(0) +\delta \sum \limits _{j=0}^{k}\beta ^{[j]}_k(0)-\beta ^{[k]}_k(0), ~~0\le k\le a-1, \end{aligned}$$
(74)
$$\begin{aligned} \lambda \beta ^{[k]}_n= & {} \lambda \beta ^{[k]}_{n-1}-\beta ^{[k]}_n(0), ~~n\ge k+1,~0\le k\le a-1. \end{aligned}$$
(75)

Dividing (70) and (71) by \(\sigma ^{-1}\), respectively, and then using Lemma 1, Lemma 2, (21) and (23), we obtain

$$\begin{aligned} \alpha _{0,a}= & {} \frac{\big (1-(1-\delta )\sum \nolimits _{i=0}^{a-1}f_i\big ) \bigg ((1-\delta )\sum \nolimits _{m=0}^{a-1}\beta ^{+}_m+\beta ^{+}_a +\alpha ^{+}_a-\alpha ^{+}_{0,a}\bigg )}{\lambda g}, \end{aligned}$$
(76)
$$\begin{aligned} \alpha _{0,r}= & {} \frac{\big (1-(1-\delta )\sum \nolimits _{i=0}^{a-1}f_i\big ) \big (\beta ^{+}_r+\alpha ^{+}_r-\alpha ^{+}_{0,r}\big )}{\lambda g}. \end{aligned}$$
(77)

Using (65) and (68) in (76)–(77), respectively, we obtain

$$\begin{aligned} \alpha _{0,a}= & {} \frac{\big ((1-\delta )\sum \nolimits _{m=0}^{a-1}\beta ^{+}_m +\beta ^{+}_a+\alpha ^{+}_a-\alpha ^{+}_{0,a}\big )}{\lambda g+(1-\delta ) \sum \limits _{i=0}^{a-1}(a-i)\beta ^{+}_i}, \end{aligned}$$
(78)
$$\begin{aligned} \alpha _{0,r}= & {} \frac{\big (\beta ^{+}_r+\alpha ^{+}_r -\alpha ^{+}_{0,r}\big )}{\lambda g+(1-\delta ) \sum \nolimits _{i=0}^{a-1}(a-i)\beta ^{+}_i},~~a+1\le r\le b. \end{aligned}$$
(79)

Applying similar process for (72)–(73) and using (78) and (79), we obtain

$$\begin{aligned} \alpha _{n,a}= & {} \frac{\bigg ((1-\delta )\sum \nolimits _{m=0}^{a-1} \beta ^{+}_m+\beta ^{+}_a+\alpha ^{+}_a-\sum \nolimits _{j=0}^{n} \alpha ^{+}_{j,a}\bigg )}{\lambda g+(1-\delta ) \sum \nolimits _{i=0}^{a-1}(a-i)\beta ^{+}_i},~~n\ge 1, \end{aligned}$$
(80)
$$\begin{aligned} \alpha _{n,r}= & {} \frac{\big (\beta ^{+}_r+\alpha ^{+}_r -\sum \limits _{j=0}^{n}\alpha ^{+}_{j,r}\big )}{\lambda g +(1-\delta )\sum \limits _{i=0}^{a-1}(a-i)\beta ^{+}_i}, ~~n\ge 1,~a+1\le r\le b-1, \end{aligned}$$
(81)
$$\begin{aligned} \alpha _{n,b}= & {} \frac{\sum \nolimits _{j=0}^{n}(\beta ^{+}_{b+j} +\alpha ^{+}_{b+j}-\alpha ^{+}_{j,b})}{\lambda g+(1-\delta ) \sum \nolimits _{i=0}^{a-1}(a-i)\beta ^{+}_i},~~n\ge 1. \end{aligned}$$
(82)

Combining (78) and (80) we obtain (61). Combining (79) and (81) over the range r, we obtain (62) and (63).

Dividing (74) by \(\sigma ^{-1}\) and using Lemma 1, Lemma 2 and (21), we obtain

$$\begin{aligned} \beta _k^{[k]}=\frac{\big (1-(1-\delta )\sum \nolimits _{i=0}^{a-1}f_i\big ) (\alpha _k^{+}+\delta \beta ^{+}_k-\beta _k^{[k]+})}{\lambda g}, ~~0\le k\le a-1. \end{aligned}$$
(83)

Using (66) and (68) in (83), we obtain

$$\begin{aligned} \beta _k^{[k]}=\frac{(\alpha _k^{+}+\delta \beta ^{+}_k -\beta _k^{[k]+})}{\lambda g+(1-\delta )\sum \nolimits _{i=0}^{a-1} (a-i)\beta ^{+}_i},~~0\le k\le a-1. \end{aligned}$$
(84)

Applying similar process for (75) after some algebraic manipulation, we obtain

$$\begin{aligned} \beta _n^{[k]}=\frac{(\alpha _k^{+}+\delta \beta ^{+}_k -\sum \nolimits _{j=k}^{n}\beta _j^{[k]+})}{\lambda g +(1-\delta )\sum \nolimits _{i=0}^{a-1}(a-i)\beta ^{+}_i}, ~~n\ge k+1,~0\le k\le a-1. \end{aligned}$$
(85)

Combining (84)–(85) we get (64). Now by back substitution method we simply obtain the joint probabilities \(\beta ^{[k]}_n\) \((0\le k\le a-1,~n\ge k)\) from (64). \(\square \)

Marginal Probabilities

Marginal probabilities that can be found from the earlier results are as follows:

  1. 1.

    Queue size distribution is

    $$\begin{aligned} P_n^{queue}= {\left\{ \begin{array}{ll} (1-\delta ) f_{n}+\sum \limits _{r=a}^{b}\alpha _{n,r}+\sum \limits _{k=0}^{min(n,a-1)}\beta _n^{[k]},~0\le n\le a-1,\\ \sum \limits _{r=a}^{b}\alpha _{n,r}+\sum \limits _{k=0}^{min(n,a-1)}\beta _n^{[k]},~n\ge a. \end{array}\right. } \end{aligned}$$
  2. 2.

    Probability that the server is in a dormant state (\(= P_{dor}\)) \(= (1-\delta )\sum \nolimits _{n=0}^{a-1}f_{n}\).

  3. 3.

    Probability of the batch size with the server is r (\(= P_r^{ser}\)) \(=\sum \nolimits _{n=0}^{\infty }\alpha _{n,r}\), \(a\le r\le b\).

  4. 4.

    Probability that the server is in \(k^{th}\) vacation type (\(= Q_{vac}^{[k]}\)) \(=\sum \nolimits _{n=k}^{\infty }\beta _n^{[k]}\), \(0\le k\le a-1\).

  5. 5.

    Probability that the server is busy (\(= P_{busy}\)) \(=\sum \nolimits _{r=a}^{b}\sum \nolimits _{n=0}^{\infty }\alpha _{n,r}\).

  6. 6.

    Probability that the server is on vacation (\(= Q_{vac}\)) \(=\sum \nolimits _{k=0}^{a-1}\sum \nolimits _{n=k}^{\infty }\beta _n^{[k]}\).

  7. 7.

    Probability that the server is idle (\(=P_{idle}\)) \(=(1-\delta )P_{dor}+Q_{vac}\).

Some New Results as Particular Cases

In this section, we present some useful results which seem to be new in the literature. These results derive from the results obtained for the considered queuing model as particular cases.

  • The present paper analyzes the batch size-dependent service \(M/G_{r}^{(a,b)}/1\) queue and queue size dependent SV (MV). Hence, If we consider \(\mu _i=\mu \), \(a\le i\le b\); \(\nu _i=\nu \), \(0\le i\le a-1\) then the considered model is reduces to batch size independent service \(M/G^{(a,b)}/1\) queue with SV and MV where the vacation time is not dependent to queue size at vacation initiation epoch. This reduced model is analyzed by Sikdar and Gupta [26] for SV only, and they obtained only queue size distributions at various epoch. For verification if we substitute \(\delta =0\), \(M^{(r)}(z)=\tilde{M}(z)\), (\(a\le r\le b\)) and \(N^{(k)}(z)=\tilde{N}(z)\) \((0\le k\le a-1)\) in (47) and (40) we obtain the service completion epoch (vacation completion epoch) generating function for queue size distribution as follows,

    $$\begin{aligned} P^{+}(z)= & {} \frac{\begin{array}{l} \tilde{M}(z)\bigg [\sum \nolimits _{n=0}^{a-1}\big (\alpha _n^{+} \big (\tilde{N}(z)-1\big )z^n+\beta _n^{+}(z^b-z^n)\big )\\ \qquad \quad +\sum \nolimits _{n=a}^{b-1}(\beta _n^{+}+\alpha _n^{+}) \big (z^b-z^n\big )\bigg ]\end{array}}{z^b-\tilde{M}(z)}, \end{aligned}$$
    (86)
    $$\begin{aligned} Q^{+}(z)= & {} \tilde{N}(z)\sum \limits _{k=0}^{a-1}\alpha _k^{+}z^{k}, \end{aligned}$$
    (87)

    which matches exactly with the results obtained by Sikdar and Gupta [26, eq(43), eq(44), page 953]. Further, from (42) and (48) we obtain

    $$\begin{aligned}&Q^{+}(z,y)=\tilde{N}(z)\sum \limits _{k=0}^{a-1} (\alpha _k^{+}+\delta \beta _k^{+})z^{k}y^{k}, \end{aligned}$$
    (88)
    $$\begin{aligned}&P^{+}(z,y)=\frac{\begin{array}{llll} \tilde{M}(z)\sum \nolimits _{n=0}^{a-1}\big [(1-\delta )\beta _n^{+} \big (z^{b}y^{a}-y^{b}z^n\big )+(1-\delta )\tilde{M}(z) \big (y^{b}-y^{a}\big )\beta _n^{+}\\ \qquad \quad +y^{b}(\alpha _n^{+}+\delta \beta _n^{+}) \big (\tilde{N}(z)-1\big )z^n\big ]\\ \qquad +\tilde{M}(z)\sum \nolimits _{n=a}^{b-1} \big (\beta _n^{+}+\alpha _n^{+}\big )\big (z^{b}y^{n} +\big (y^{b}-y^{n}\big )\tilde{M}(z)-y^{b}z^n\big ) \end{array}}{z^{b}-\tilde{M}(z)},\nonumber \\ \end{aligned}$$
    (89)

    which are bivariate generating functions at vacation termination epoch, and service completion epoch, respectively, and is not available so far in the literature. From these bivariate generating functions ((88) and (89)), applying similar procedure as presented in this paper, one can obtain the complete joint probabilities of the queue size and batch size with the server ; also, the joint probabilities of the queue size and vacation type at any time point.

  • If we consider \(a=1\) then the presented model converts in \(M/G_{r}^{(1,b)}/1\) queue with SV (MV). According to the analysis done in this paper, we can extract joint probabilities at different epochs. Such results are also new contributions to the literature.

  • If we take \(a=b\) then the present model reduces to \(M/G^{b}/1\) queue with queue size dependent SV and MV.

Performance Measure

The performance measure is the procedure that collects the information of the system and helps the manager to run the system smoothly. The present section covers significant performance measures of the considered model.

  1. 1.

    Expected queue size (\(L_q\)) is given by

    \(L_q=(1-\delta )\sum \nolimits _{n=0}^{a-1}nf_{n} +\sum \nolimits _{n=0}^{\infty }\sum \nolimits _{r=a}^{b}n\alpha _{n,r} +\sum \nolimits _{k=0}^{a-1}\sum \nolimits _{n=k}^{\infty }n\beta _n^{[k]} =(1-\delta )\sum \nolimits _{n=0}^{a-1}nP_n^{queue}+\sum \nolimits _{n=a-\delta a}^{\infty }nP_n^{queue}\).

  2. 2.

    Expected system size (\(L_s\)) is given by

    \(L_s =(1-\delta )\sum \nolimits _{n=0}^{a-1}nf_{n} +\sum \nolimits _{n=0}^{\infty }\sum \nolimits _{r=a}^{b}(n+r) \alpha _{n,r}+\sum \nolimits _{k=0}^{a-1}\sum \limits _{n=k}^{\infty }n \beta _n^{[k]}\).

  3. 3.

    Expected waiting time of a customer in the queue (\(W_q\)) is given by

    \(W_q=\frac{L_q}{\lambda }\).

  4. 4.

    Expected waiting time of a customer in the system (\(W_s\)) is given by

    \(W_s=\frac{L_s}{\lambda }\).

  5. 5.

    Expected batch size with the server when server is busy (\(L^{ser}\)) is given by

    \(L^{ser}\) =\(\sum \nolimits _{r=a}^{b}(rP_r^{ser}/P_{busy})\).

  6. 6.

    Expected vacation type taken by server when server is in vacation ( \(L^{vac}\)) is given by

    \(L^{vac}=\sum \nolimits _{k=0}^{a-1}(kQ_{vac}^{[k]}/Q_{vac})\).

Numerical Results

In this section, we present a variety of numerical results to show the behavior of the performance measures of the model under study, using graphs and tables. In this connection, we first consider the example of a sugarcane mill, which is presented by Tamrakar and Banerjee [30], however, with proper modifications as per our considered model. This example will reflect the more original scenario of the sugarcane mill example and also the real-life applicability of our considered model. Let us consider that the sugarcane machine takes 3 to 6 packets of sugarcane for producing juice. After a production if the machine finds 3 or more packets in the queue then it produces juice as per GBS rule, i.e., machine takes \(l=\hbox {min}\)(r, 6) packets for producing the juice with service rate \(\mu _l\), (\(\mu _{3}= 5.16666\), \(\mu _{4}=3.87500\), \(\mu _{5}=3.100000\), and \(\mu _{6}=2.583333\)) otherwise, the machine performs either \(0^{th}\) vacation type or \(1^{th}\) vacation type or \(2^{th}\) vacation type. The service (juice producing) time and the vacation time follow \(E_{3}\) distribution and exponential distribution, respectively. In the \(0^{th}\) vacation type, the machine removes waste, checks the machinery parts, and purifies the extracted juice assembled in the containers, However, in \(1^{th}\) or \(2^{th}\) vacation type, it checks the machinery parts. We assume that the packets are arriving with rate \(\lambda = 4.5\) following the Poisson manner. Then we observe the following results, where \(\nu _{0}=1.3\), \(\nu _{1}=1.7\), and \(\nu _{2}=1.9\). (i.e., for the case of queue size dependent vacation (QSDV)).

Average packet (customer) size in the queue

2.817 (for the case of SV)

3.373 (for the case of MV)

Average waiting time of a packet in the queue

0.626 (for the case of SV)

0.749 (for the case of MV)

We observe the following results, where \(\nu _{0}=\nu _{1}=\nu _{2}=1.3\). (i.e., for the case of queue size independent vacation (QSIV)).

Average packet (customer) size in the queue

3.334 (for the case of SV)

4.036 (for the case of MV)

Average waiting time of a packet in the queue

0.740 (for the case of SV)

0.897 (for the case of MV)

From the above findings we can conclude that, for this particular example, the average queue size (waiting time) for QSDV is less than the average queue size (waiting time) for QSIV. Hence, the consideration of QSDV makes the model more efficient than QSIV.

Fig. 1
figure 1

Effect of \(\lambda \) on \(L_q\)

Fig. 2
figure 2

Effect of \(\lambda \) on \(L_q\)

Fig. 3
figure 3

Effect of \(\lambda \) on \(W_q\)

Fig. 4
figure 4

Effect of \(\lambda \) on \(W_q\)

Fig. 5
figure 5

Effect of \(\lambda \) on \(P_{dor}\)

Fig. 6
figure 6

Effect of \(\lambda \) on \(Q_{vac}\)

Fig. 7
figure 7

Effect of \(\lambda \) on \(Q_{vac}\)

For further justification of our considered model graphically, we have introduced a comparison between QSDV and QSIV (see, Figs. 1, 2, 3, 4, 5, 6 and 7).

For the comparison purpose we consider the following two cases:

Case 1.:

The QSDV rates are taken as \(\nu _k=(k+1)^{2}0.85\), \(0\le k\le a-1\).

Case 2.:

The QSIV rates are taken as \(\nu _k=\nu _0\), \(0\le k\le a-1\). In case 1, the vacation rates are chosen in such a way that as queue size at vacation initiation epoch increases the vacation time decreases accordingly. However, for case 2, the vacation time remains constant irrespective of the queue size at vacation initiation epoch. In Figs. 1, 2, 3, 4, 5, 6 and 7 we present the comparison between QSDV and QSIV for the \(M/G_{r}^{(4,9)}/1\) queue with SV (MV). Figures 1, 2, 3 and 4 represent the influence of the arrival rate \(\lambda \) on \(L_q\) and \(W_q\). The service time follows Erlang (\(E_2\)) distribution with batch size-dependent service rate \(\mu _r=\frac{\mu }{r}\),   \(4\le r\le 9\) where \(\mu =12.5\), and the vacation time distributed exponentially. The above consideration holds for both the cases, i.e., Case 1 and Case 2. It is observed from Figs. 1, 2, 3, 4 that as \(\lambda \) increases from 5.5 to 11.5 (i.e., \(\rho \) varies from 0.32 to 0.92) the performance measures \(L_q\) and \(W_q\) increases in both the cases. Also, it is noted that for a fixed \(\lambda \), \(L_q\) \((W_q)\) is lower in Case 1 as compared to Case 2. Hence, the above studies reveals that assumption of QSDV policy in the batch size-dependent service model is more efficient, as QSDV is minimizing \(L_q\) and \(W_q\), in comparison to the QSIV policy.

In Fig. 5, \(P_{dor}\) is depicted versus \(\lambda \) for SV. It is observed that as \(\lambda \) increases from 5.5 to 11.5, i.e., \(\rho \) varies from 0.32 to 0.92, \(P_{dor}\) decreases for both the cases. This is because the mean vacation time of the server is longer for Case 2 than in Case 1, which means that the returning time (from vacation) of the server in the system from the vacation is shorter in Case 1 as compared to Case 2. Hence, the reflexion in Fig. 5 is on the expected direction in the sense that for a fixed value of \(\lambda \), \(P_{dor}\) is greater for Case 1 in comparison to Case 2.

In Fisg. 6 and 7 we present the effect of \(\lambda \) on \(Q_{vac}\) for SV and MV, respectively. It is observed that the increase in \(\lambda \) from 5.5 to 11.5, results in a decrease in \(Q_{vac}\) for both the cases, which is on the expected line.

In Fig. 8 we have plotted the effect of \(\lambda \) versus \(Q_{vac}\) for SV (Case1) and MV (Case 1). The input parameters and the service (vacation) time distributions are taken exactly as we have taken for Figs. 1, 2, 3, 4, 5, 6 and 7. From Fig. 8 it is observed that as \(\lambda \) increases from 5.5 to 11.5, \(Q_{vac}\) decreases. Since increase in value of \(\rho \) from 0.32 to 0.92 results in increase in \(L_{q}\) significantly, i.e., the probability that the server is busy should also increase. The influence of \(\lambda \) on \(Q_{vac}\) presented in Fig. 8 is on the expected direction, as for the case of SV, \(Q_{vac}=P_{idle}-P_{dor}\) and for the case of MV \(Q_{vac}=P_{idle}\).

Fig. 8
figure 8

Effect of \(\lambda \) on \(Q_{vac}\)

Fig. 9
figure 9

Effect of \(\lambda \) on \(L_q\)

Fig. 10
figure 10

Effect of \(\lambda \) on \(Q_{vac}\)

In Figs. 9 and 10 we present the effect of \(\lambda \) on \(L_q\) and \(Q_{vac}\), respectively, for \(M/G_{r}^{(3,7)}/1\) queue with SV for different vacation time distribution, e.g., (Exponential (M), Erlang (\(E_2\)) and Deterministic (D)) with rate \(\nu _k=(k+1)^{2}0.95\) (\(0\le k\le 2\)). Service time of each batch distributed exponentially with rate \(\mu _r=\frac{\mu }{r}\), \(3\le r\le 7\) where \(\mu =7.5\), irrespective of vacation time distribution. From Figs. 9 and 10, as \(\lambda \) increases from 3 to 7, i.e., \(\rho \) increases from 0.4 to 0.93, \(L_q\) increases and \(Q_{vac}\) decreases. All the numerical experiments that are presented here in the form of graphs (Figs. 1, 2, 3, 4, 5, 6, 7, 8, 9 and 10) helps us to understand that whether our main objective of studying the proposed model is actually achieved or not. Actually, we can conclude from the explanation presented above that our model helps reducing congestion in the real-life queues because of QSDV.

Cost Model

In this section, we present a cost model which may help in deciding the optimal values of the system parameters to minimize the total system cost. This type of cost model may be applicable in the example of group testing (viz., for sample of testing COVID-19) that has been discussed in introduction section. For this purpose, we consider the following cost parameters:

\(C_s\equiv \):

Startup cost (i.e., cost that bring the sample to the system) per sample per unit time.

\(C_b\equiv \):

Holding cost (i.e., cost to preserve the sample waiting in the queue for test, during health worker’s busy period) per sample per unit time.

\(C_v\equiv \):

Holding cost (i.e., cost to preserve the sample waiting in the queue for test, during health worker’s vacation period) per sample per unit time.

\(C_d\equiv \):

Holding cost (i.e., cost to preserve the sample waiting in the queue for test, during health worker’s dormant period) per sample per unit time (exists only for SV).

\(C_o\equiv \):

Testing cost (i.e., cost when sample is taken for testing by health worker) per sample per unit time. Thus in long run,

Table 1 TSC for the different values of a and \(\lambda \)

total system cost (TSC) \(= \lambda C_s +C_b\sum \nolimits _{n=0}^{\infty }\sum \nolimits _{r=a}^{b}n \frac{\alpha _{n,r}}{P_{busy}}\)+\(C_v\sum \nolimits _{n=0}^{\infty } \sum \nolimits _{k=0}^{min(n,a-1)}n\frac{\beta _n^{[k]}}{Q_{vac}} +(1-\delta )C_d\sum \nolimits _{n=0}^{a-1}n\frac{f_n}{P_{dor}}+C_oL^{ser}\).

Here, we present a numerical result by considering particular values of the system parameters. We vary the value of a from 1 to 12 and fix the value of b at 12. In Table 1 we present the values of TSC for MV (see column 2–5 of Table 1) and for SV (see column 6–9 of Table 1) and for different values of \(\lambda =7\), 10, 13, 18. The service time distribution is considered to be \(E_2\) with batch size dependent service rate \(\mu _r=r\mu \) (\(\mu =0.15\)) and the vacation time distribution is considered to be exponential distribution with queue size dependent vacation rate \(\nu _k=\nu _{k-1}+1 ~(1\le k\le a-1\), \(\nu _0=1.5)\). The TSC are obtained under the consideration \(C_s=0.1\), \(C_b=1.0\), \(C_v=1.5\), \(C_d=1.7\), and \(C_o=3.5\).

By considering this type of numerical experiment with desired values of system parameters and service time distribution (vacation time distribution) system analysts may easily achieve the minimum TSC by considering an optimal value of a. For fixed \(\lambda \) the minimum values of TSC are indicated in bold letters and the corresponding values of a are the desired optimum values of the lower threshold. For example for \(\lambda =10\) (MV), the minimum TSC is 46.8892 which is achieved at \(a=4\), hence, \(a=4\) is the corresponding optimum value. A similar conclusion may be drawn for all other values of \(\lambda \) and for SV and MV.

Conclusion

In this article, we dealt with an infinite capacity batch service queue with single and multiple vacations where the service time of the batches depend on the size of the batch under service, and the vacation time of the server depends on the queue size at vacation initiation epoch. Steady-state joint probabilities have been achieved at various epochs by using the supplementary variable approach and the bivariate generating function method. Finally, various performance measures have been discussed to appraise the applicability of the considered model in the numerical section. In the present model interarrival time has been considered to be exponentially distributed, however, in computer communication and telecommunication system the arrivals of the data are bursty in nature and hence cannot be model using exponential interarrival time. To model these type of real-life system, the analysis of the present model may motivate researchers to analyze a more complex model for the steady-state joint probabilities for different service rules (different vacation policies) with more general arrival (service) process, viz., MAP (MSP) or BMAP (BMSP).