HAL Id: hal-01626006
https://hal.univ-grenoble-alpes.fr/hal-01626006
Preprint submitted on 31 Oct 2017
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Expected lateness in an M/M/1/K queue
Abduh Sayid Albana, Ramzi Hammami, Yannick Frein
To cite this version:
Abduh Sayid Albana, Ramzi Hammami, Yannick Frein. Expected lateness in an M/M/1/K queue.
2017. �hal-01626006�
1
Expected lateness in an M/M/1/K queue
Abduh Sayid Albana
1, Ramzi Hammami
2*, Yannick Frein
11
Univ. Grenoble Alpes, CNRS, Grenoble INP
+, G-SCOP, F-38000 Grenoble, France
2
Rennes School of Business, R-SCOM research center, Rennes, France
{abduh-sayid.albana@grenoble-inp.fr, yannick.frein@g-scop.grenoble-inp.fr, hammami.ramzi@gmail.com}
* Corresponding author
Abstract ˗ We calculate the expected lateness for a late job in an M/M/1/K queue (i.e., the expected waiting time in the system after a threshold lead time l, given that the waiting time is greater than l).
The expected lateness for any given job can then be deduced immediately. Applications of our result include the calculation of the lateness penalty cost when a given lead time is quoted to the customers, such as in call centers or in some production systems.
Keywords: queuing theory; M/M/1/K; quoted lead time; expected lateness; lateness penalty cost.
1. Introduction
We consider an M/M/1/K queue, i.e., a queue in a system having a single server where the job service times have an exponential distribution and the arrival process of customers is determined by a Poisson process, and where the system has a finite batch size K. We provide a new performance that is not known in the literature for such a queue. Indeed, we calculate the expected lateness given that a job is late in an M/M/1/K queue.
Suppose that a company, modelled as an M/M/1/K queue, quotes the lead time l to its customers.
A job is considered to be late when its waiting time in the system, denoted by w, is greater than the quoted lead time l. In this case, the job’s lateness is given by (w-l). We are interested here in the expected lateness for a late job. The expected lateness for any given job can be deduced immediately by multiplying our result by the probability that a job is late. Thus, given a threshold lead time l, we calculate the expected waiting time in an M/M/1/K queue after l, given that the waiting time is greater than 𝑙. In the particular case of l=0, the expected lateness given that a job is late is equal to the expected waiting time in the system, which is a known performance for an M/M/1/K.
+
Institute of Engineering Univ. Grenoble Alpes
2 2. Motivation
The calculation of the expected lateness for a late job in an M/M/1/K queue permits to obtain the expected lateness penalty cost in a system modelled by an M/M/1/K. Indeed, as explained by Palaka et al. (1998), the expected lateness penalty cost can be given by: (penalty per job per unit’s lateness) × (expected number of overdue clients) × (expected lateness given that a job is late). The penalty per job per unit’s lateness is an input parameter, and the expected number of overdue clients is known for an M/M/1/K. Hence, obtaining the expected lateness for a late job will permit calculating the expected lateness penalty cost in an M/M/1/K queue, which may have many interesting applications.
A potential application of our result is in the call centers where we have to take into account the cost of not respecting the quoted lead time when we announce this lead time to a client. The examples of significant lateness penalty costs that are likely to impact the firms’ decisions are also abundant in the industry. Savaçaneril et al., (2010) reported that the cost of late delivery in the FMC Wellhead Equipment Division may rise up to $250,000 per day and that the lateness penalties in the aircraft industry starts from $10,000-$15,000 and can go as high as $1,000,000 per day.
To illustrate the relevance of the consideration of the expected lateness penalty cost in the production systems, we consider the widely studied problem of a company, that is modelled as a make- to-order queue, and has to quote the right lead time to its customers. A shorter quoted lead time can lead to an increase in the demand but increases the risk of late delivery, implying an increase in the expected lateness penalty cost. In their pioneer paper, Palaka et al., (1998) addressed this problem while modelling the system as an M/M/1 queue. Later, most of the papers dealing with this type of problems adopted Palaka et al.’s framework (see e.g., Zhao et al., 2012; Boyaci and Ray, 2003, 2006; Ray and Jewkes, 2004). Our result can be used to generalize this stylized framework by considering an M/M/1/K queue instead of an M/M/1, which thus permits to consider a new policy where the clients are rejected whenever the queue is full, unlike the case of M/M/1 where all the customers are accepted. This may lead to different insights.
3. Problem statement and the result
We consider an M/M/1/K queue with mean service rate μ and mean arrival rate λ. The probability P
kof having k customers in the system (k=1, 2… K) for a random point in time and in steady state is given by equation (1) (see Gross et al. 2008). Therefore, P
Krepresents the probability of rejecting a customer, and 1 P
K is the probability that a customer is accepted. The throughput rate ( ) is equal to the mean arrival rate multiplied by the probability of accepting a customer, as given in equation (2).
The expected number of customers in the system for a random point in time and in steady state, denoted
by L
s, is given by equation (3) (see Gross et al. 2008).
3
k k K
P
1
11
if 1 and
1 1
P
kK if 1 with
(1)
P
K
1
(2)
1 1
1 1
1
K Ks
L K
(3)
We let the random variable W refers to the waiting time in the system, with probability density function f
W . and cumulative distribution function F
W(.) . In an M/M/1/K queue, it is known that
W
(.)
F is given by equation (4):
10
1
0!
1
K
k
k
i
w i
K k
W
e
i w P
w P
F
(4) The expected waiting time in an M/M/1/K queue is obtained by L
s , and its explicit expression can be deduced from equations (2) and (3).
Given a quoted lead time l, we denote by R
lthe expected lateness for a late job. In other words, R
lrepresents the expected waiting time in the system beyond the threshold lead time 𝑙, given that the waiting time is greater than 𝑙. Our objective is to calculate R
l.
The probability of having a waiting time W between w and w dw given that w is greater than the quoted lead time l, is given by f
W w w l dw , and the lateness in this case is w l . Hence, for a quoted lead time l, the expected lateness given that a job is late is:
l
W
w w l dw
f l
w . We will
first determine the explicit expression of f
W w w l and then turn to the calculation of the integral function R
l.
We have F w w l
dw l d w w
f
W
W and
l F
l F w F l
W w W l l
w w F
W W W
W
Pr( ) 1
Pr .
Consequently,
F l
l F w F dw l d w w f
W W W
W
1 . In Lemma 1, we explicitly calculate
w w l
f
W .
4
Lemma 1. Consider an M/M/1/K queue with mean service rate μ and mean arrival rate λ. We let W denote the waiting time in the system and f
W . its probability density function. We denote by l a threshold lead time. The probability density function of the waiting time in the system given that this waiting time is greater than the threshold lead time l, is given by:
f
W w w l
11 0
0 0
!
!
K
k
k K k
k
k
i i k
l w
k P w i
P l
e
Proof.
F l
l F w F dw l d w w f
W W W
W
1 where
10
1
0!
1
K
k
k
i
x i
K k
W
e
i x P
x P
F
.
Hence,
1
0 0
1
0 0
1
0 0
1
0 0
! 1 !
! 1
!
! 1
1
Kk
k
i i k
K
k
k
i
i k
l w K
k
k
i
l i
K k K
k
k
i
w i l
i
K k
W W W
i P l
i P w
e i e
l P
P
i e e w
i l P
P l
F l F w F
.
By deriving this function with respect to w, we obtain:
1
0 1
1 1
0 0
1
0 0
! 1
!
!
1
Kk
k
i
i k
l w K
k
k
i
i k
l w K
k
k
i
i k
W
i
P w i e
P w e
i P l
l w w
f
10 0
1
0 1
1
!
! 1 1
!
K
k
k
i i k
K
k
k
i
i i
k l w
i P l
i w i
P w e
.
Given that
! 1
! 1
1
!
1
k w i
w i
w
kk
i
i
i
, we finally have
11 0
0 0
!
!
K
k
k K k
k
k
i
i k
l w
W
k
P w i
P l l e
w w
f
5
Based on the result of Lemma 1, we now have
! ( )
! 1
!
!
1
1 0
0 0
1
1 0
0 0
k l P i
P l k dw
P w i
P l e l
R w
kK
k k K
k
k
i
i k
l
K
k
k K k
k
k
i
i k
l w
l
, where
k(l ) is
defined for a given k by: l w l e w
kdw
l
l w
k
( ) . To find the expression of R
l, we thus
need to calculate
k(l ) .
The integral function
k(l ) can be written as follows:
w dw l e w dw
e w
l
kl
l k w
l
l w
k
( ) .
Hence, e e w dw le e w dw
l
kl w k l
l w l
k
( )
1, implying that
k l k
l
k
e A le A
l
( )
1, where A
k kis a sequence defined by A e w
kdw
l w
k
.
Therefore, the next step consists in calculating A
k. The result is given in Lemma 2.
Lemma 2.
k
wi
i k
l w
k
w e
i dw k
w e
A
0
!
!
Proof. We demonstrate the lemma by induction.
For k=0, we verify that A
0
l
w
dw e
le
w e
l
li
i
e i l
00
!
!
0 .
Suppose that
k
li
i
k
l e
i
A k
0
!
! and let’s demonstrate that
k
li
i
k
l e
i
A
k
10
1
!
!
1 .
We have A e w dw g w h w dw
l k
l w
k1
1
' ( ) ( ) where g ' ( w ) e
wand h ( w ) w
k1.
We use the partial integration to transform the expression of A
k1.
6
Indeed,
l w k l
w k l
k
g w h w
lg w h w dw e w k e w dw
A
1( ) ( ) ( ) ' ( )
1( 1 )
.
Thus, l k
w k
k
e w k A
A
1
1 ( 1 ) . Given that lim
1 0
w k
w
e
w , we deduce that A
k1 e
l l
k1 ( k 1 ) A
k.
Since we supposed that
k
li
i
k
l e
i
A k
0
!
! , it comes that:
k
li
i l k
k
l e
i k k
l e
A
0 1
1
!
1 !
k
i
i l k
i l k k
l e
0 1
!
1 !
k
i
i l k
i l l k
e
0 1
!
!
1
1
0
!
!
k
1
i l i
i l
e
k , which demonstrates the Lemma
Using the above results, we can now provide the explicit expression of the expected lateness for a late job in an M/M/1/K queue. We remind the reader that the expected lateness for any given job can be easily obtained by multiplying our result by the probability that a job is late, which is equal to
1 F
W( l ) in an M/M/1/K queue.
Theorem. Consider an M/M/1/K queue with mean service rate μ and mean arrival rate λ. Given a quoted lead time l, the expected lateness for a late job (i.e., the expected waiting time in the system beyond l given that the waiting time is greater than 𝑙) is determined by:
1
0 0
1
0 0
1
!
!
! 1
!
K
k k
i
i k
K
k
k
i
i k
k
i P l
i l l k k l
k P
Where, P
k K
k
1
11
if 1 ,
1 1
P
kK if 1 , and
.
Proof. Based on the result of Lemma 2, it comes that
ki
i k k
i
i k
i
i k
l k
l
k
l
i l k k l l
i l k l
i A k
le e A
l
0 1
0 1
0
1
!
! 1
!
!
!
! ) 1
(
.
7
Therefore, we finally obtain
! ( )
!
1
11 0
0 0
k l P i
P l
R
kK
k k K
k
k
i i k
l
10 0
1
0 0
1
!
!
! 1
!
K
k k
i i k
K
k
k
i
i k
k
i P l
i l l k k l
k P
.
Particular cases:
When the quoted lead time l tends to 0, the expected lateness given that a job is late becomes equal to the expected waiting time in the system. On the one hand, using our proposed formula of the expected lateness for a late job, denoted by R
l, we obtain
10 1
0 0
) 1 (
lim
Kk k
k K
k l l
P k P
R
. On the other hand, it is known in the literature that the expected
waiting time in an M/M/1/K queue is L
s =
K K k
k
P
k P
1
) 1
(
01
0
(see Sztrik, 2011). One
can also demonstrate that
K K k
k K
k k
k K
k
P k P
P k P
1 ) 1 ( )
1 (
0 1
0 1
0 1
0
. Thus, when l tends to 0, we
verified that our formula of expected lateness for a late job effectively yields the expected waiting time in the system.
For K=1, the base integral function that defines the expected lateness for a late job in an M/M/1/K (i.e.,
l
W
w w l dw
f l
w ) can be directly calculated, and gives
1 . It can be verified that our formula, proposed in the Theorem, also gives the same result when K=1.
Given the complexity of our formula, we were not able to calculate directly
lK
R
lim
.
However, when K tends to infinity, the M/M1/K queue becomes equivalent to the M/M/1
queue. Therefore, when K tends to infinity, our result R
lgives the expected lateness for a
8
late job in an M/M/1, which is known to be equal to
1 (as the waiting time is exponentially distributed for an M/M/1). Thus, this proves that we have
1
!
!
! 1
lim !
1
0 0
1
0 0
1
K
k k
i i k
K
k
k
i
i k
k
K