polling systems with breakdowns and repairs

26
Stochastics and Statistics Polling systems with breakdowns and repairs Oren Nakdimon, Uri Yechiali * Department of Statistics and Operations Research, School of Mathematical Sciences, Raymond and Beverly Sackler, Faculty of Exact Sciences, Tel Aviv University, Tel Aviv 69978, Israel Received 30 November 2000; accepted 11 March 2002 Abstract This work analyzes various polling systems with both random breakdowns and repairs. A few works in the literature investigated polling networks with failing nodes, but none has treated the associated repair process or the combined effect of breakdowns and repairs on such systems. We consider three service mechanisms: Gated, Exhaustive and Globally Gated. For each service regime we study several variations, differing from each other by (i) whether the arrival process to a queue being repaired continues or stops during the repair process, and (ii) whether the failure is observed immediately when it occurs or only at the end of a service duration. For each of the 12 models studied we provide analyses regarding the system state at polling instants (law of motion, probability generating functions, first- and second-order moments) and derive expressions for several performance measures, such as (distribution and mean of) number of customers at the different queues, their waiting and sojourn times, server’s cycle times, etc. We derive stability conditions for the various models and express all results in a unified generalized form. Ó 2002 Elsevier Science B.V. All rights reserved. Keywords: Polling; Gated; Exhaustive; Globally Gated; Breakdowns; Repairs 1. Introduction Only a few works in the literature deal with the important phenomenon of nodes breakdowns in polling systems. Recently Kofman and Yechiali studied models with failing nodes, analyzing the Gated and Ex- haustive [8], as well as the Globally Gated [9] service regimes. However, we know of no works studying the combined effect of breakdowns and the associated repair processes on such systems. This work addresses this issue. Queueing systems consisting of N queues (stations, nodes, or channels) served by a single server who incurs switchover periods when moving from one queue to another have been studied widely in the European Journal of Operational Research 149 (2003) 588–613 www.elsevier.com/locate/dsw * Corresponding author. Tel.: +972-3-6409637; fax: +972-3-6409295. E-mail address: [email protected] (U. Yechiali). 0377-2217/03/$ - see front matter Ó 2002 Elsevier Science B.V. All rights reserved. doi:10.1016/S0377-2217(02)00451-4

Upload: oren-nakdimon

Post on 04-Jul-2016

216 views

Category:

Documents


0 download

TRANSCRIPT

Stochastics and Statistics

Polling systems with breakdowns and repairs

Oren Nakdimon, Uri Yechiali *

Department of Statistics and Operations Research, School of Mathematical Sciences, Raymond and Beverly Sackler,

Faculty of Exact Sciences, Tel Aviv University, Tel Aviv 69978, Israel

Received 30 November 2000; accepted 11 March 2002

Abstract

This work analyzes various polling systems with both random breakdowns and repairs. A few works in the literature

investigated polling networks with failing nodes, but none has treated the associated repair process or the combined

effect of breakdowns and repairs on such systems.

We consider three service mechanisms: Gated, Exhaustive and Globally Gated. For each service regime we study

several variations, differing from each other by (i) whether the arrival process to a queue being repaired continues or

stops during the repair process, and (ii) whether the failure is observed immediately when it occurs or only at the end of

a service duration.

For each of the 12 models studied we provide analyses regarding the system state at polling instants (law of motion,

probability generating functions, first- and second-order moments) and derive expressions for several performance

measures, such as (distribution and mean of) number of customers at the different queues, their waiting and sojourn

times, server’s cycle times, etc. We derive stability conditions for the various models and express all results in a unified

generalized form.

� 2002 Elsevier Science B.V. All rights reserved.

Keywords: Polling; Gated; Exhaustive; Globally Gated; Breakdowns; Repairs

1. Introduction

Only a few works in the literature deal with the important phenomenon of nodes breakdowns in polling

systems. Recently Kofman and Yechiali studied models with failing nodes, analyzing the Gated and Ex-haustive [8], as well as the Globally Gated [9] service regimes. However, we know of no works studying the

combined effect of breakdowns and the associated repair processes on such systems. This work addresses

this issue.

Queueing systems consisting of N queues (stations, nodes, or channels) served by a single server who

incurs switchover periods when moving from one queue to another have been studied widely in the

European Journal of Operational Research 149 (2003) 588–613

www.elsevier.com/locate/dsw

*Corresponding author. Tel.: +972-3-6409637; fax: +972-3-6409295.

E-mail address: [email protected] (U. Yechiali).

0377-2217/03/$ - see front matter � 2002 Elsevier Science B.V. All rights reserved.

doi:10.1016/S0377-2217(02)00451-4

literature and used as a central model for the analysis of a large variety of applications in the areas of

telecommunication systems, computer networks, multiple access protocols, multiplexing schemes in ISDN,

readerhead movements in a computer’s hard disk, manufacturing systems, road traffic control, repair

problems, etc. Very often, such applications are modeled as polling systems in which the server visits the

queues in a cyclic or some other order.

In many of these applications, as well as in most polling models, it is customary to control the amount ofservice time allocated to each queue during the server’s visit. Two common service policies are the Gated

and the Exhaustive regimes. Under the Gated regime, in each cycle only customers who are present when

the server polls the queue are served during its current visit, while customers arriving when the queue is

attended will be served during the next visit. Under the Exhaustive regime, at each visit the server attends

the queue until it becomes completely empty, and only then is the sever allowed to move on. There is

extensive literature on the theory and applications of these models (see [10–12] and references therein).

Another service regime is the Globally Gated, introduced by Boxma et al. [1] and extended in Boxma

et al. [2]. Under this regime, the server uses the instant of cycle beginning as a reference point of time,serving in each queue, during each cycle, only those customers that were present there at the cycle-

beginning.

In this work we consider a polling system with N infinite-capacity stations, where customers arrive to the

various queues according to independent Poisson processes, requiring general independent service times. A

single server visits the stations in a cyclic order, incurring random switchover times when moving from one

station to another. A station being served may fail due to a breakdown process (described in the sequel),

and a repair process is initiated immediately after such a failure is observed. We assume that during the

repair process the server stays dormant in the station, and once the repair is completed, the server continuesserving customers in that station, starting anew with the interrupted customer.

We study two models, differing from each other by the behavior of the arrival process to queues being

repaired: In the first model, called Arrival Continues [AC], the arrival processes continue even when a station

is being repaired, while in the second, called Arrival Stops [AS], the arrival process to the station being

repaired stops for the entire repair period. We also distinguish between two versions for determining when

the breakdowns (failures) are observed. In the first version a failure is observed immediately when it occurs,

while in the second version it is observed only at the end of the service. We analyze these systems under each

of the above mentioned regimes, namely the Gated, Exhaustive and Globally Gated service protocols.The [AC] model may be viewed as a regular polling model, with N M=G=1-type queues and a single

server, where each customer requires a generalized service time, composed of several unsuccessful and one

successful service attempts. Therefore, once the required expressions for such a generalized service time are

derived, we can use well known results and apply them in the analysis of this model.

The [AS] model is the more interesting one in this work. We introduce a new parameter of the system, g,which is the ‘‘loss’’ of potential customers to a queue during a service of a customer, due to arrival

stoppage. Using g in the results, rather than using repair time expressions, makes the [AS] model a gen-

eralization of the [AC] model. Moreover, the [AS] model is a generalized polling model, which may bereduced to the standard one when the mean time to breakdown tends to infinity (implying g ! 0). An

important generalization is of the queue work rate: we show that if one defines a generalized work-load

rate, q ¼ ðarrival rateÞ � ðmean service timeÞ=ð1þ gÞ, then q preserves its characteristics as work rate in all

relevant expressions.

The structure of the paper is as follows: In Section 2 we present the general description of the models

along with a set of assumptions, definitions and notations used throughout the work. In Section 3 we derive

some general results, independent of the service regime, for mean number of service attempts of a customer,

Laplace-Stieltjes transforms, means and second moments of successful and unsuccessful service attempts(for both versions), etc. In Sections 4 and 5 we analyze the Gated and Exhaustive service regimes, re-

spectively. In Section 6 we obtain expressions––common to all models, versions and service regimes

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 589

discussed in the previous sections––for various important performance measures, such as mean number of

customers at polling instants and mean cycle time. In addition, stability conditions are derived. Section 7

concludes the paper with the analysis of the Globally Gated service regime.

2. Model and notation

We consider a polling system consisting of N infinite-capacity queues (stations, channels, nodes), labeled

1; 2; . . . ;N , and a single server. Customers arrive to queue i according to a Poisson process with rate ki. Theserver visits (polls) the queues in a cyclic order. Each customer in queue i requires a random service time,

distributed as Bi, with Laplace–Stieltjes transform (LST) B�i ð�Þ, mean bi and second moment bð2Þi . The

random switchover time from queue i to queue iþ 1 is denoted by Di, with LST D�i ð�Þ, mean di and second

moment dð2Þi .

If the server enters a non-empty station and starts serving customers present there, the station may faildue to a breakdown process. There are two versions for determining when the breakdowns are observed: (i)

the breakdown is observed immediately when it occurs; (ii) the breakdown is observed only at the end of the

current service (such as in packet transmission applications). In both versions, a repair process is initiated

immediately after the breakdown is observed. The repair times for station i is Vi , with LST V �i ð�Þ, mean vi

and second moment vð2Þi . During the repair process the server stays dormant in the station, and only when

the repair is completed the server continues serving customers in the station, starting anew with the in-

terrupted customer (whose service times is resampled) until it moves to the next station, following the

Gated, Exhaustive or Globally Gated service discipline, whichever applies.The time to breakdown of station i is denoted by Ti and is distributed exponentially with parameter ci.

This process is regenerated at the beginning of every new visit of the server to the station and after the

completion of every repair.

We consider two models: in the first, the arrival processes to the various stations never stop, while in the

second, the arrival process to the station being repaired stops for the entire repair period, whereas the arrival

streams to other queues continue uninterruptedly.We denote the first model by [AC], and the second by [AS].

We assume that the underlying arrival processes, the service times, the breakdown processes, the repair

times and the switchover times are all mutually independent.We use the following notation:

• S�ðxÞ E½e�xS � ¼ LST of a non-negative continuous random variable S.

• X ji ¼ number of jobs present in queue j at a polling instant of queue i.

• X i ðX 1i ;X

2i ; . . . ;X

Ni Þ ¼ state of the system at a polling instant of queue i.

• FiðzÞ ¼ Fiðz1; . . . ; zN Þ EQNj¼1 z

X jij

h i¼ probability generating function (PGF) of X i.

• AiðtÞ ¼ number of Poisson arrivals to queue i during a random time interval of length t, in which the

arrival process does not stop.

3. Some general results

3.1. Number of service attempts of a customer

Let ai be the probability of a successful service attempt in queue i, i.e., the probability that no breakdown

occurs during a service time of a customer. Then,

ai ¼ P ðBi < TiÞ ¼ E½P ðBi < TijBiÞ� ¼ E½e�ciBi � ¼ B�i ðciÞ: ð1Þ

590 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

Due to the memoryless property of the exponential distribution, we can assume that the ‘timer’ of the

breakdown process is initiated each time a service starts.

Let Ki be the number of unsuccessful service attempts of a customer in queue i before a successful service

completion. Then P ðKi ¼ kÞ ¼ ð1� aiÞkai ðk ¼ 0; 1; 2; . . .Þ. Ki is a shifted geometric variable with pa-

rameter ai. Thus,

E½Ki� ¼1� aiai

; ð2Þ

E½K2i � ¼

ð1� aiÞð2� aiÞa2i

ð3Þ

and

E½KiðKi � 1Þ� ¼ E½K2i � � E½Ki� ¼ 2

1� aiai

� �2

¼ 2½EðKiÞ�2: ð4Þ

3.2. A successful service attempt

Let Sþi be the duration of a successful service attempt. Then (for both versions), Sþi � BijBi<Ti . Hence,

Sþ�i ðxÞ ¼ E½e�xSþi � ¼ E½e�xBi jBi < Ti� ¼

E½e�xBiP ðBi < TijBiÞ�P ðBi < TiÞ

¼ 1

aiE½e�xBie�ciBi � ¼ 1

aiE½e�ðxþciÞBi �

¼ B�i ðx þ ciÞai

: ð5Þ

Therefore,

E½Sþi � ¼ �B�0i ðciÞai

; E½ðSþi Þ2� ¼ B�00

i ðciÞai

: ð6Þ

3.3. An unsuccessful service attempt

Let S�i be the duration of an unsuccessful service attempt. S�i is distributed differently for each version:

In version (i) the service is interrupted whenever a breakdown occurs, thus S�i � TijBi>Ti , and

S��i ðxÞ ¼ E½e�xS�i � ¼ E½e�xTi jBi > Ti� ¼

E½e�xTiP ðBi > TijTiÞ�P ðBi > TiÞ

: ð7Þ

Now, with fBið�Þ denoting the probability density function of Bi,

E½e�xTiP ðBi > TijTiÞ� ¼Z 1

t¼0

e�xt

Z 1

x¼tfBiðxÞdx

� �cie

�cit dt ¼ ci

Z 1

x¼0

Z x

t¼0

e�ðxþciÞt dt� �

fBiðxÞdx

¼ cix þ ci

Z 1

0

1�

� e�ðxþciÞx�fBiðxÞdx ¼

cix þ ci

½1� B�i ðx þ ciÞ�: ð8Þ

Substituting (8) in (7) we get, for version (i),

S��i ðxÞ ¼ ci

x þ ci

1� B�i ðx þ ciÞ

1� ai: ð9Þ

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 591

Hence,

E½S�i � ¼B�0i ðciÞ

1� aiþ 1

ci; E½ðS�i Þ

2� ¼ 2

c2iþ 2B�0

i ðciÞcið1� aiÞ

� B�00i ðciÞ1� ai

: ð10Þ

In version (ii) the failure is observed only upon service completion. Thus, S�i � Bi Bi>Tij , and

S��i ðxÞ ¼ E½e�xBi jBi > Ti� ¼

E½e�xBiP ðBi > TijBiÞ�P ðBi > TiÞ

¼ E½e�xBið1� e�ciBiÞ�1� ai

¼ B�i ðxÞ � B�

i ðx þ ciÞ1� ai

: ð11Þ

Hence, for version (ii),

E½S�i � ¼bi þ B�0

i ðciÞ1� ai

; E½ðS�i Þ2� ¼ bð2Þi � B�00

i ðciÞ1� ai

: ð12Þ

3.4. A generalized service and repair time

For both versions, let Bi denote the total length of time starting from the moment a service of a type-icustomer is initiated until he leaves the system (after a successful completion of service). Let bi andbð2Þi denote the mean and second moment of Bi, respectively. To calculate the LST of Bi we use a similar

approach to the one used in [3] when studying the residence time of a job in a queue under a preemptive

repeat rule with resampling. Considered as a generalized service time, Bi can be expressed as

Bi ¼XKij¼1

S�ðjÞi

hþ V ðjÞ

i

iþ Sþi ; ð13Þ

where S�ðjÞi � S�i , V

ðjÞi � Vi , for j ¼ 1; . . . ;Ki and fS�ðjÞ

i gKij¼1, fVðjÞi gKij¼1, S

þi are all mutually independent.

Therefore

E e�xBi jKih

¼ ki¼ E exp

"�x

Xkj¼1

ðS�ðjÞi þ V ðjÞ

i Þ!e�xSþi

#¼Ykj¼1

E e�xS�ðjÞi

� �E e�xV ðjÞ

i

� �h iE e�xSþi

h i¼ S�

i ðxÞV �i ðxÞ

� �kSþ

i ðxÞ:ð14Þ

Hence,

B�i ðxÞ ¼

X1k¼0

ð1� aiÞkai S��

i ðxÞV �i ðxÞ

� �kSþ

i ðxÞ ¼ aiSþ�

i ðxÞ1� ð1� aiÞS��

i ðxÞV �i ðxÞ : ð15Þ

Substituting (5) in (15) we get

B�i ðxÞ ¼ B�

i ðx þ ciÞ1� ð1� aiÞS��

i ðxÞV �i ðxÞ : ð16Þ

The first and second moments of Bi may be calculated by taking derivatives of (16), or directly from (13),

using (2), (4) and (6):

bi ¼ E½Ki�E½S�i þ Vi � þ E½Sþi � ¼1� aiai

ðE½S�i � þ viÞ �B�0i ðciÞai

ð17Þ

592 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

bð2Þi ¼ E½ðSþi Þ

2� þ 2E½Ki�E½Sþi ðS�i þ ViÞ� þ E½Ki�E½ðS�i þ ViÞ2� þ E½KiðKi � 1Þ�½EðS�i Þ þ vi�2

¼ B�00i ðciÞai

þ 2bi bi

"þ B

�0i ðciÞai

#þ 1� ai

aiE½ðS�i Þ

2�n

þ vð2Þi þ 2E½S�i �vio: ð18Þ

Substituting (9) and (10) for version (i), and (11) and (12) for version (ii), respectively, in (16)–(18) yields:

Version (i):

B�i ðxÞ ¼ B�

i ðx þ ciÞ1� ci

xþci½1� B�

i ðx þ ciÞ�V �i ðxÞ ; ð19Þ

bi ¼1� aiai

B�0i ðciÞ

1� ai

þ 1

ciþ vi

!� B

�0i ðciÞai

¼ 1� aiai

1

ci

�þ vi

�: ð20Þ

That is, E½Bi� ¼ E½Ki� 1=ci þ viÞð , which is the mean number of unsuccessful service attempts ðE½Ki�Þ mul-tiplied by ðE½Ti� þ viÞ.

bð2Þi ¼ 2b

2

i þ 2B�0i ðciÞ

aið1� aiÞ

"þ 1

ci

#bi þ

1� aiai

vð2Þi : ð21Þ

Clearly, when ci ! 0, bi ! bi, since limci!01�aici

¼ �B�0i ð0Þ, while

B�0i ðciÞ

aið1� aiÞþ 1

ci!

ci!0

bð2Þi � 2b2i2bi

;

implying that bð2Þi ! bð2Þi .

Version (ii):

B�i ðxÞ ¼ B�

i ðx þ ciÞ1� ½B�

i ðxÞ � B�i ðx þ ciÞ�V �

i ðxÞ ; ð22Þ

bi ¼1� aiai

bi þ B�0i ðciÞ

1� ai

þ vi

!� B

�0i ðciÞai

¼ biaiþ 1� ai

aivi: ð23Þ

That is, the mean generalized service time is comprised of the total service time devoted to a customer,

namely bi � E½Ki þ 1�, augmented by E½Ki� times the mean length of a repair, vi. The second moment of Biis given by

bð2Þi ¼ 2b

2

i þbð2Þi þ ð1� aiÞvð2Þi þ 2vibi

aiþ 2

bi þ viai

B�0i ðciÞ: ð24Þ

It is clear that in version (ii), as in version (i), when ci ! 0, bi ! bi and bð2Þi ! bð2Þi .

Similarly to the definition of Bi, we define V i ¼PKi

j¼1 VðjÞi as the generalized repair time in queue i. That

is, the period of time, out of Bi, in which the station is being repaired. Now,

V�i ðxÞ ¼

X1k¼0

P ðKi ¼ kÞE½e�xV i jKi ¼ k�

¼X1k¼0

ð1� aiÞkai½V �i ðxÞ�k ¼ ai

1� ð1� aiÞV �i ðxÞ ; ð25Þ

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 593

vi E½V i� ¼ E½Ki�E½Vi � ¼1� aiai

vi: ð26Þ

Define bBBi as the effective time, out of Bi, in which customers arrive to queue i, and denote the mean and

second moment of bBBi by bbbi and bbbð2Þi , respectively. Clearly, in the [AC] model, bBBi ¼ Bi. To find the distri-

bution of bBBi in the [AS] model, we apply the general results for Bi to the special case where

Vi 0ð) V �i ðxÞ 1; vi ¼ vð2Þi 0Þ.

In the [AS] model, version (i), Eqs. (19)–(21) are reduced, respectively, to

bBB�i ðxÞ ¼ B�

i ðx þ ciÞ1� ci

xþci½1� B�

i ðx þ ciÞ�; ð27Þ

bbbi ¼ 1� aiai

1

cið28Þ

and

bbbð2Þi ¼ 2

a2i c2i½1� ai þ ciB

�0i ðciÞ�: ð29Þ

In the [AS] model, version (ii), Eqs. (22)–(24) are reduced, respectively, to

bBB�i ðxÞ ¼ B�

i ðx þ ciÞ1� ½B�

i ðxÞ � B�i ðx þ ciÞ�

; ð30Þ

bbbi ¼ biai

ð31Þ

and

bbbð2Þi ¼ 2bia2i

½bi þ B�0i ðciÞ� þ

bð2Þiai

: ð32Þ

Again bbbð2Þi ! bð2Þi as ci ! 0.

Note that for both versions, from the definitions of Bi, V i and bBBi, the following relations hold:

bBBi ¼ Bi; ½AC� model;Bi � V i; ½AS� model:

�In the sequel, we will need the value E½BibBBi�. (Clearly, since bBBi is stochastically smaller than Bi,bbbð2Þi 6E½BibBBi�6 bð2Þi .)

In the [AC] model, E½BibBBi� ¼ bð2Þi , because bBBi ¼ Bi.

In the [AS] model, using the definitions of V i, Eqs. (13), (2) and (3):

E½BibBBi� ¼ E½bBB2i þ V ibBBi� ¼ bbbð2Þi þ E½EðV ibBBijKiÞ�

¼ bbbð2Þi þ E Kivi EðSþi Þ��

þ KiEðS�i Þ��

¼ bbbð2Þi þ 1� aiai

vi EðSþi Þ þ2� aiai

EðS�i Þ� �

: ð33Þ

Thus, in version (i), by substituting (6), (10) and (29) in (33) we get

E½BibBBi� ¼ 1

a2ivi

�þ 2

ci

�B�0i ðciÞ

�þ 1� ai

ci

�þ 1� ai

ai

� �2 vici; ð34Þ

594 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

while in version (ii), by substituting (6), (12) and (32) in (33) we obtain

E½BibBBi� ¼ bð2Þiai

þ 2b2i þ ½2B�0i ðciÞ þ ð2� aiÞvi�bi þ viB�0

i ðciÞa2i

: ð35Þ

Clearly, when ci ! 0, E½BibBBi� ! bð2Þi for both versions.

4. The Gated regime

4.1. System-state: law of motion, PGFs and first moments

In the Gated service regime, in each visit the server serves only those customers that were present in the

queue at the polling instant.

For the [AC] model, the evolution law of the system-state is given by

X jiþ1 ¼X ji þ Aj

PX iim¼1 B

ðmÞi

� �þ AjðDiÞ; j 6¼ i;

AiPX ii

m¼1 BðmÞi

� �þ AiðDiÞ; j ¼ i;

8<: ð36Þ

where BðmÞi � Bi for every m, and are mutually independent. Since the server moves in a cyclic order,

all summations throughout the paper are cyclic ones. This model is actually the classical gated polling

scheme, with N M=G=1-queues and a single server, where each customer in queue i requires a (generalized)service time of Bi. Therefore, for i ¼ 1; 2; . . . ;N and for j ¼ 1; 2; . . . ;N the PGF of X iþ1 is given by (see

[10,12])

Fiþ1ðzÞ ¼ Fi z1; . . . ; zi�1;B�i

XNk¼1

kkð1"

� zkÞ#; ziþ1; . . . ; zN

!D�i

XNk¼1

kkð1

� zkÞ!: ð37Þ

Setting

fiðjÞ E½X ji �; qi kibi; q XNk¼1

qk; d XNk¼1

dk; ð38Þ

the first moments satisfy

fiþ1ðjÞ ¼fiðjÞ þ kjbifiðiÞ þ kjdi; j 6¼ i;

kibifiðiÞ þ kidi; j ¼ i;

(ð39Þ

implying that

fiðjÞ ¼kjPi�1

k¼j qkd

1�q þ dk� �

; j 6¼ i;

ki d1�q ; j ¼ i:

(ð40Þ

In the [AS] model, the evolution of the state of the system is given by

X jiþ1 ¼X ji þ Aj

PX iim¼1 B

ðmÞi

� �þ AjðDiÞ; j 6¼ i;

AiPX ii

m¼1bBBðmÞi

� �þ AiðDiÞ; j ¼ i;

8<: ð41Þ

where BðmÞi � Bi bBBðmÞ

i � bBBi for every m. Note that BðmÞi

n oX iim¼1

are independent of each other and so arebBBðmÞi

n oX iim¼1

. However, BðmÞi and bBBðmÞ

i are not independent. Then,

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 595

Fiþ1ðzÞ ¼ EYNj¼1

zXjiþ1

j

" #¼ E

YNj¼1j 6¼i

zX ji þA

jPX i

im¼1

BðmÞi

� �j

0B@1CAzAi PX i

im¼1bBBðmÞi

� �i

YNj¼1

zAjðDiÞj

264375

¼ EYNj¼1j 6¼i

zX jij

0B@1CAE z

AiPX i

im¼1bBBðmÞi

� �i

YNj¼1j 6¼i

zAjPXi

im¼1

BðmÞi

� �j

*****X i0B@

1CA264

375E YNj¼1

zAjðDiÞj

" #: ð42Þ

Let rðzÞ PN

j¼1 kjð1� zjÞ and riðzÞ PN

j¼1j 6¼i

kjð1� zjÞ. Then, as the arrival is Poissonian,

EYNj¼1

zAjðDiÞj

" #¼ D�

i ðrðzÞÞ: ð43Þ

We now use (13) and the fact that bBBi ¼PKij¼1 S

�ðjÞi þ Sþi and write

E zAiPX i

im¼1bBBðmÞi

� �i

YNj¼1j 6¼i

zAjPX i

im¼1

BiðmÞ� �

j

0B@1CA*******X i

264375 ¼ E zA

iðbBBiÞi

YNj¼1j 6¼i

zAjðBiÞj

264375

8><>:9>=>;X ii

¼X1k¼0

ð1

8><>: � aiÞkaiE zAi Sþi þ

Pk

m¼1S�ðmÞi

� �i

264

�YNj¼1j 6¼i

zAj Sþi þ

Pk

m¼1½S�ðmÞi þV ðmÞ

i �� �

j

3759>=>;X ii

¼X1k¼0

ð1(

� aiÞkaiSþ�i ðrðzÞÞ S��

i ðrðzÞÞV �i ðriðzÞÞ

� �k)X ii

¼ aiSþ�i ðrðzÞÞ

1� ð1� aiÞS��i ðrðzÞÞV �

i ðriðzÞÞ

� 0X ii:

ð44Þ

Combining (42)–(44), we get:

Fiþ1ðzÞ ¼ D�i ðrðzÞÞE

YNj¼1j 6¼i

zX jij

0B@1CA aiSþ

�i ðrðzÞÞ

1� ð1� aiÞS��i ðrðzÞÞV �

i ðriðzÞÞ

� 0X ii264375

¼ D�i ðrðzÞÞFi z1; . . . ; zi�1;

aiSþ�i ðrðzÞÞ

1� ð1� aiÞS��i ðrðzÞÞV �

i ðriðzÞÞ; ziþ1; . . . ; zN

� �: ð45Þ

Since fiðjÞ E½X ji � ¼@FiðzÞ@zj z¼1

** , we get, by taking derivatives of (45) or directly from (41), the following

relations between the first-order moments of fX ji g:

fiþ1ðjÞ ¼fiðjÞ þ kjbifiðiÞ þ kjdi; j 6¼ i;kibbbifiðiÞ þ kidi; j ¼ i:

�ð46Þ

Let gi denote the ‘‘loss’’ of potential customers to queue i, during a generalized service time of a customer,

due to arrival stoppage. That is gi kiðbi � bbbiÞ. Thus, for j ¼ i, we can write (46) as

596 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

fiþ1ðiÞ ¼ kibifiðiÞ � gifiðiÞ þ kidi: ð47Þ

We can use (46) and (47) to express ffiðjÞgi6¼j in terms of ffiðiÞg:

fiðjÞ ¼ kjXi�1

k¼jðbkfkðkÞ þ dkÞ � gjfjðjÞ: ð48Þ

Thus, finding ffiðiÞgNi¼1 readily gives all values of ffiðjÞg.Summing (46) over all i, and using (47), we get:

XNi¼1

fiðjÞ ¼XNi¼1

fiþ1ðjÞ ¼XNi¼1i 6¼j

fiðjÞ þ kjXNi¼1

bifiðiÞ � gjfjðjÞ þ kjd;

implying that fjðjÞ þ gjfjðjÞ ¼ kj d þPN

i¼1 bifiðiÞ� �

. That is,

fjðjÞ ¼kj

1þ gjd

þXNi¼1

bifiðiÞ!: ð49Þ

Multiplying (49) by bj and summing over all j lead to

XNj¼1

bjfjðjÞ ¼ d

þXNi¼1

bifiðiÞ!XN

j¼1

kjbj1þ gj

: ð50Þ

Let qj ðkjbjÞ=ð1þ gjÞ. Note that for the [AC] model we have already defined qj as kjbj. Nevertheless,

the definition here for the [AS] model holds for the [AC] model as well, where, by its definition, gj 0. We

again use q to denotePN

j¼1 qj (in Section 6 we will show that q represents the total traffic load of thesystem). Thus, Eq. (50) is expressed asXN

j¼1

bjfjðjÞ ¼ d

þXNi¼1

bifiðiÞ!

q; leading to

XNi¼1

bifiðiÞ ¼dq

1� q:

ð51Þ

Substituting (51) in (49), we get

fjðjÞ ¼kj

1þ gjd�

þ dq1� q

�¼ kj

1þ gj

d1� q

: ð52Þ

It will be shown that for all models, the mean cycle time is given by E½C� ¼ d=ð1� qÞ. Hence

fjðjÞ ¼kj

1þ gjE½C�; for j ¼ 1; 2; . . . ;N :

Substituting the values of ffiðiÞg from (52) and (48) yields

fiðjÞ ¼ kjXi�1

k¼jqk

d1� q

�"þ dk

��

gj1þ gj

d1� q

#: ð53Þ

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 597

4.2. Second-order moments

The second-order moments of fX ji g are derived from the PGFs (37) for the [AC] model and (45) for the

[AS] model. Let

fiðj; kÞ ¼ E½X ji X ki � ¼o2FiðzÞozjozk z¼1

*** ði; j; k ¼ 1; . . . ;N ; j 6¼ kÞ;

fiðj; jÞ ¼ E½X ji ðX ji � 1Þ� ¼ o2FiðzÞoz2j z¼1

*** ði; j ¼ 1; . . . ;NÞ:ð54Þ

Eqs. (54) define a set of N 3 linear equations, that its solution gives the values of the second-order moments

ffiðj; kÞg.In the [AC] model, Eq. (54) are given by (see also [10])

fiþ1ði; iÞ ¼ k2i d

ð2Þi þ k2

i fiðiÞ½2dibi þ bð2Þi � þ k2

i b2

i fiði; iÞ

fiþ1ði; jÞ ¼ kikjdð2Þi þ kikjfiðiÞ½2dibi þ b

ð2Þi � þ kikjb

2

i fiði; iÞþkidifiðjÞ þ kibifiði; jÞ

)j 6¼ i

fiþ1ðj; kÞ ¼ kjkkdð2Þi þ kjkkfiðiÞ½2dibi þ b

ð2Þi � þ kjkkb

2

i fiði; iÞþkjdifiðkÞ þ kkdifiðjÞ þ kkbifiði; jÞ þ kjbifiði; kÞþfiðj; kÞ

9>=>; j 6¼ik 6¼i

9>>>>>>>>>=>>>>>>>>>;: ð55Þ

In the [AS] model, Eqs. (54) become (after a lengthy calculation)

fiþ1ði; iÞ ¼ k2i d

ð2Þi þ k2

i fiðiÞ½2dibbbi þ bbbð2Þi � þ k2ibbb2i fiði; iÞ

fiþ1ði; jÞ ¼kikjdð2Þi þ kikjfiðiÞ½diðbi þ bbbiÞ þ EðBibBBiÞ� þ kikjbibbbifiði; iÞ

þkidifiðjÞ þ kibbbifiði; jÞ)

j 6¼ i

fiþ1ðj; kÞ ¼ kjkkdð2Þi þ kjkkfiðiÞ½2dibi þ b

ð2Þi � þ kjkkb

2

i fiði; iÞþkjdifiðkÞ þ kkdifiðjÞ þ kkbifiði; jÞ þ kjbifiði; kÞþfiðj; kÞ

9>=>; j 6¼ik 6¼i

9>>>>>>>>>=>>>>>>>>>;: ð56Þ

Note the following:

(i)i The expressions for fiþ1ði; iÞ are similar in the [AC] and [AS] models, except that in the latter the mo-ments of bBBi replace those of Bi in the former.

(ii) The expressions for fiþ1ðj; kÞ, when j 6¼ i and k 6¼ i are the same for both models.

4.2.1. The symmetric case

When all stations are (stochastically) identical, we set, for all i.

ki ¼ k0; di ¼ d0; dð2Þi ¼ dð2Þ0 ; bi ¼ b0; bð2Þi ¼ b

ð2Þ0 ; bbbi ¼ bbb0; bbbð2Þi ¼ bbbð2Þ0 ; gi ¼ g0;

qi ¼ q0; E½BibBBi� ¼ E½B0bBB0�:

Now, in the [AC] model, fiði; iÞ is given by (see [6,10])

fiði; iÞ ¼Nk2

0

ð1þ q0Þð1� qÞ dð2Þ0

(þ ðN � 1Þd20

1� qþ 2Nd20q0

1� qþ Nk0d0b

ð2Þ0

1� q

)ð57Þ

and in the [AS] model we get:

598 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

fiði; iÞ ¼Nk2

0

ð1þ k0bbb0Þð1� qÞð1þ g0Þ

dð2Þ0

(þ ðN � 1Þd20

1� qþ 2Nd201� q

k0bbb0

1þ g0

þ Nk0d01� q

b1þ g0

); ð58Þ

where b is the following convex combination of bð2Þ0 , bbbð2Þ0 E½B0

bBB0�:

b ¼ ðN � 1Þð1� q0ÞN

bð2Þ0 þ 1� ðN � 1Þq0

Nbbbð2Þ0 þ 2ðN � 1Þq0

NE½B0

bBB0�: ð59Þ

4.3. Number of customers at departing instants

Let Li be the number of customers left behind by an arbitrary departing customer from queue i, and letQiðzÞ be its PGF. Let Mi be the total number of customers served in queue i during a visit of the server to

that queue, and let LiðnÞ be the sequence of random variables denoting the number of customers that the

nth departing customer from queue i (in the current visit of the server) leaves behind him ðn ¼ 1; 2; . . . ;MiÞ.Then it is well known (cf. [10])

QiðzÞ ¼EPMi

n¼1 zLiðnÞ� �

E½Mi�: ð60Þ

Let GiðzÞ E½zX ii � ¼ Fið1; . . . ; 1; z; 1; . . . ; 1Þ (where z is in the ith coordinate).

In the [AC] model the PGF of Li and its expected value are given by (see [10,12])

QiðzÞ ¼1� qkid

B�i ðki � kizÞ

z� B�i ðki � kizÞ

�GiðzÞ � Gi B

�i ðki

�� kizÞ

��ð61Þ

and

E½Li� ¼ qi þð1þ qiÞfiði; iÞð1� qÞ

2kid¼ qi þ

ð1þ qiÞfiði; iÞ2fiðiÞ

: ð62Þ

In the [AS] model:

LiðnÞ ¼ X ii � nþ AiXnm¼1

bBBðmÞi

!and Mi ¼ X ii ; where bBBðmÞ

i � bBBi:Hence,

EXMin¼1

zLiðnÞ" #

¼ E EXX iin¼1

zXii�nþA

iPn

m¼1bBBðmÞi

� �****X ii0@ 1A24 35 ¼ E zX

ii

XX iin¼1

E½zAiðbBBiÞ�z

!n24 35

¼ E zXii

bBB�i ðki � kizÞ

z

1� bBB�i ðki�kizÞz

� �X ii1� bBB�

i ðki�kizÞz

2666437775

¼bBB�i ðki � kizÞ

z� bBB�i ðki � kizÞ

E zXii

h� ðbBB�

i ðki � kizÞÞXii

bBB�i ðki � kizÞ

z� bBB�i ðki � kizÞ

GiðzÞh

� Gi bBB�i ðki

�� kizÞ

�ið63Þ

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 599

and

E½Mi� ¼ E½X ii � ¼ fiðiÞ: ð64ÞCombining (52), (60), (63) and (64), we get

QiðzÞ ¼1þ gi

ki

1� qd

bBB�i ðki � kizÞ

z� bBB�i ðki � kizÞ

GiðzÞh

� GiðbBB�i ðki � kizÞÞ

i: ð65Þ

Differentiating (65) and performing the required calculations lead to

E½Li� ¼ Q0ið1Þ ¼ kibbbi þ ð1þ kibbbiÞfiði; iÞ

2fiðiÞ

¼ kibbbi þ 1þ giki

1� qd

ð1þ kibbbiÞfiði; iÞ2

: ð66Þ

Note the similarity between (66) and (62) where bbbi replaces bi.In the symmetric case, the mean number of customers is given for the [AC] model by

E½Li� ¼ q0 þk0d

ð2Þ0

2d0þ ðN � 1Þk0d0

2ð1� qÞ þ Nk0d0q0

1� qþ Nk2

0bð2Þ0

2ð1� qÞ ð67Þ

and in the [AS] model it becomes

E½Li� ¼ k0bbb0 þ k0d

ð2Þ0

2d0þ ðN � 1Þk0d0

2ð1� qÞ þ Nk20d0bbb0

ð1� qÞð1þ g0Þþ Nk2

0b2ð1� qÞð1þ g0Þ

: ð68Þ

4.4. Waiting and sojourn times

Let Wqi denote the waiting time (excluding service time) of an arbitrary customer at queue i, and let bWWqi

denote the period of time, out of Wqi , in which the arrival process to queue i is active.

In the [AC] model bWWqi ¼ Wqi , and their LST and expected value are given by (see [10,12])

W �qiðxÞ ¼ 1� q

kidGið1� x=kiÞ � GiðB

�i ðxÞÞ

1� x=ki � B�i ðxÞ

ð69Þ

and

E½Wqi � ¼1� qd

ð1þ qiÞfiði; iÞ2k2

i

: ð70Þ

In the [AS] model:

The number of customers left behind by a departing customer from queue i is the number of arrivals to

that queue during the sojourn time of this customer in the system. Therefore

QiðzÞ ¼ bWW �qiðki � kizÞbBB�

i ðki � kizÞ: ð71Þ

Hence, from (65),

bWW �qiðxÞ ¼ Qið1� x=kiÞbBB�

i ðxÞ¼ 1þ gi

ki

1� qd

Gið1� x=kiÞ � GiðbBB�i ðxÞÞ

1� x=ki � bBB�i ðxÞ

: ð72Þ

To find the expected value of bWWqi , we can differentiate (72) or use Little’s law:

600 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

E½ bWWqi � ¼ � bWW �0qið0Þ ¼ E½Li�

ki� bbbi ¼ 1þ kibbbi

2ki

fiði; iÞfiðiÞ

: ð73Þ

Li is also the number of customers found in the queue by an arriving customer. This follows since the

system-state changes by unit jumps (see [7]). Then the waiting time of a customer in queue i is bWWqi with the

addition of the arrival stoppage periods that took place during the service periods of all the customers whowhere present in the system when he arrived:

Wqi ¼ bWWqi þXLij¼1

½BðjÞi � bBBðjÞ

i �: ð74Þ

Thus,

E½Wqi � ¼ E bWWqi

h iþ E½Li�E Bi

h� bBBii ¼ E½Li�

ki� bbbi þ E½Li�ðbi � bbbiÞ ¼ E½Li�

1þ giki

� bbbi: ð75Þ

Substituting E½Li� from (66) in (75) we get:

E½Wqi � ¼ kibbbi

þ 1þ giki

1� qd

ð1þ kibbbiÞfiði; iÞ2

!1þ gi

ki� bbbi

¼ 1þ giki

� �21� qd

ð1þ kibbbiÞfiði; iÞ2

þ gibbbi: ð76Þ

In the symmetric case, the mean waiting time is given for the [AC] model by

E½Wqi � ¼dð2Þ0

2d0þ ðN � 1Þd0

2ð1� qÞ þ Nd0q0

1� qþ Nk0b

ð2Þ0

2ð1� qÞ ð77Þ

and in the [AS] model, using (75) and (68), it becomes

E½Wqi � ¼ð1þ g0Þd

ð2Þ0

2d0þ ðN � 1Þð1þ g0Þd0

2ð1� qÞ þ Nk0d0bbb01� q

þ Nk0b2ð1� qÞ þ g0

bbb0: ð78Þ

Finally, the mean sojourn time of an arbitrary customer in queue i is given by

E½Wi � ¼ E½Wqi � þ bi ¼ E½Li�1þ gi

ki� bbbi þ bi ¼ E½Li�ð1þ giÞ þ gi

ki: ð79Þ

5. The Exhaustive regime

5.1. System-state: law of motion, PGFs and first moments

In the Exhaustive regime, in each visit, the server leaves a station only when it becomes empty.

Let Hi denote the length of a ‘busy period’ generated by a single customer in queue i. Let H�i ð�Þ, hi and

hð2Þi denote the LST of Hi, its mean and its second moment, respectively.

The evolution laws for the system-state are

X jiþ1 ¼X ji þ Aj

PX iim¼1 HðmÞ

i

� �þ AjðDiÞ; j 6¼ i;

AiðDiÞ; j ¼ i;

(ð80Þ

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 601

where HðmÞi � Hi for every m, and they are mutually independent. Then (see [10,12])

Fiþ1ðzÞ ¼ Fi½z1; . . . ; zi�1;H�i ðriðzÞÞ; ziþ1; . . . ; zN �D�

i ðrðzÞÞ; ð81Þand by differentiating (81) or directly from (80),

fiþ1ðjÞ ¼fiðjÞ þ kjhifiðiÞ þ kjdi; j 6¼ i;kidi; j ¼ i:

�ð82Þ

In the [AC] model, Hi is a regular busy period of an M=G=1 type, but with service times Bi to customersin queue i. It is well known (see [7]) that

H�i ðxÞ ¼ B

�i ½x þ kið1� H�

i ðxÞÞ�; ð83Þ

hi ¼ E½Hi� ¼bi

1� qi; ð84Þ

hð2Þi ¼ E½H2

i � ¼bð2Þi

ð1� qiÞ3: ð85Þ

Therefore, the corresponding polling model may be viewed as a ‘standard’ one for which (see [10,12])

fiðjÞ ¼kj d

1�q

Pi�1

k¼jþ1 qk þPi�1

k¼j dkh i

; j 6¼ i;

kið1� qiÞ d1�q ; j ¼ i:

(ð86Þ

In the [AS] model:

Hi ¼ Bi þXAiðB̂BiÞm¼1

HðmÞi : ð87Þ

Hence,

H�i ðxÞ ¼ E

X1n¼0

P ½AiðbBBiÞ(

¼ njbBBi�E½e�xHi jBi; bBBi;AiðbBBiÞ ¼ n�)

¼ EX1n¼0

e�kibBBi ðkibBBiÞnn!

e�xBiE exp

"(� x

Xnm¼1

HðmÞi

!#)¼ E e�kibBBi�xBi

X1n¼0

ðkibBBiH�i ðxÞÞn

n!

( )

¼ E expð"

� xBi � kið1� H�i ðxÞÞbBBiÞ

#:

ð88ÞUsing (13), the definition of bBBi, and by conditioning on Ki we get

H�i ðxÞ ¼

X1k¼0

ð1� aiÞkaiE exp

"� x Sþi

"þXkm¼1

S�ðmÞi

�þ V ðmÞ

i

�#� kið1� H�

i ðxÞÞ Sþi

"þXkm¼1

S�ðmÞi

#!#

¼ aiSþ�

i ½x þ kið1� H�i ðxÞÞ�

X1k¼0

ð1� aiÞkfS��

i ½x þ kið1� H�i ðxÞÞ�gk½V �

i ðxÞ�k

¼ aiSþ�

i ½x þ kið1� H�i ðxÞÞ�

1� ð1� aiÞS��i ½x þ kið1� h�

i ðxÞÞ�V �i ðxÞ :

ð89ÞThe first and second moments of the busy period in the [AS] model can be calculated by differentiating (89),or directly from (87), as follows:

602 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

hi ¼ bi þ kibbbihi; implying

hi ¼bi

1� kibbbi :ð90Þ

hð2Þi ¼ E½H2

i � ¼ bð2Þi þ 2kiE½BibBBi�hi þ kibbbihð2Þ

i þ E AiðbBBiÞ AiðbBBiÞ�h� 1�i

h2i : ð91Þ

Using (90) and the definition of qi, we get:

kihi ¼kibi

1� kibbbi ¼ kibi1þ gi

,1� kibbbi1þ gi

!¼ qi

,1þ gi � kibi

1þ gi

� �¼ qi

1� qi: ð92Þ

Now,

E AiðbBBiÞ AiðbBBiÞ�h� 1�i

¼ EbBBi X1k¼0

kðk"

� 1Þe�kibBBi ðkibBBiÞkk!

#¼ EbBBi ðkibBBiÞ2e�kibBBiX1

k¼2

ðkibBBiÞk�2

ðk � 2Þ!

" #¼ k2

ibbbð2Þi : ð93Þ

By combining (91)–(93), we get:

hð2Þi ¼ b

ð2Þi þ 2qi

1� qiE½BibBBi� þ kibbbihð2Þ

i þ qi1� qi

� �2bbbð2Þi ;

leading to

hð2Þi ¼ ð1� qiÞ

2bð2Þi þ 2qið1� qiÞE½BibBBi� þ q2

ibbbð2Þi

ð1� kibbbiÞð1� qiÞ2

¼ ð1� qiÞ2b

ð2Þi þ 2qið1� qiÞE½BibBBi� þ q2

ibbbð2Þi

ð1þ giÞð1� qiÞ3

ð94Þ

(note, while comparing to (85), that the numerator of (94) is a convex combination of bð2Þi , bbbð2Þi and E½BibBBi�).

Summing (82) over all i givesXNi¼1

fiþ1ðjÞ ¼XNi¼1i6¼j

fiðjÞ þ kjXNi¼1i 6¼j

hifiðiÞ þ kjd ) fjðjÞ ¼ kjXNi¼1

hifiðiÞ � kjhjfjðjÞ þ kjd:

Thus,

fjðjÞ ¼kj

1þ kjhjd

þXNi¼1

hifiðiÞ!: ð95Þ

Multiplying (95) by hj and summing over all j yieldXNj¼1

hjfjðjÞ ¼ d

þXNi¼1

hifiðiÞ!XN

j¼1

kjhj1þ kjhj

: ð96Þ

Using (92) for the expression of kjhj, we get

kjhj1þ kjhj

¼qj

1� qj

21

1� qj¼ qj: ð97Þ

Substituting (97) in (96) leads to

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 603

XNj¼1

hjfjðjÞ ¼ d

þXNi¼1

hifiðiÞ!

q

from whichXNi¼1

hifiðiÞ ¼dq

1� q: ð98Þ

Now, using (92) again,

kj1þ kjhj

¼ kj

21

1� qj¼ kjð1� qjÞ: ð99Þ

Substituting results (98) and (99) in (95) we get

fjðjÞ ¼ kjð1� qjÞ d�

þ dq1� q

�¼ kjð1� qjÞ

d1� q

: ð100Þ

Using (82) and by proper summation we have

fiðjÞ ¼ kjXi�1

k¼jþ1

hkfkðkÞ"

þXi�1

k¼jdk

#: ð101Þ

Combining (92) with (100) leads to:

hkfkðkÞ ¼ qkd

1� qð102Þ

and therefore, using (101),

fiðjÞ ¼ kjd

1� q

Xi�1

k¼jþ1

qk

"þXi�1

k¼jdk

#: ð103Þ

Note that expressions (100) and (103) for the first-order moments in the [AS] model now look the ‘same’

as in the [AC] model (see Eq. (86)). However, the values of the fqig in each model are different.

5.2. Second-order moments

In both [AC] model and [AS] model, Eqs. (54) have the same expressions (of course, hi and hð2Þi have

different values in each model). After lengthy calculations we derive:

fiþ1ði; iÞ ¼ k2i d

ð2Þi

fiþ1ði; jÞ ¼ kikjdð2Þi þ kidi½fiðjÞ þ kjhifiðiÞ�

oj 6¼ i

fiþ1ðj; kÞ ¼ kjkkdð2Þi þ kikkfiðiÞ½2dihi þ hð2Þ

i � þ kjkkh2i fiði; iÞ

þkjdifiðkÞ þ kkdifiðjÞ þ kkhifiði; jÞ þ kjhifiði; kÞþfiðj; kÞ

9=; j 6¼ ik 6¼ i

9>>>>>=>>>>>;: ð104Þ

In the symmetric case, in both [AC] model and [AS] model, using similar definitions as for the Gated re-

gime, we obtain:

fiði; iÞ ¼Nk2

0ð1� q0Þð1� qÞ dð2Þ0

(þ ðN � 1Þd20

1� qþ ðN � 1Þk0d0ð1� q0Þ

2

1� qhð2Þ0

); ð105Þ

where we set hi ¼ h0 and hð2Þi ¼ hð2Þ

0 , for i ¼ 1; 2; . . . ;N .

604 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

5.3. PGF and mean of number of customers

We use (60) again to find the PGF of Li and its expected value. In the [AC] model, the expressions are

given by (see [10,12])

QiðzÞ ¼1� qkid

B�i ðki � kizÞ

z� B�i ðki � kizÞ

½GiðzÞ � 1�; ð106Þ

E½Li� ¼ qi þk2i b

ð2Þi

2ð1� qiÞþ 1� q

dfiði; iÞ

2kið1� qiÞ¼ qi þ

k2i b

ð2Þi

2ð1� qiÞþ fiði; iÞ

2fiðiÞ: ð107Þ

The [AS] model requires additional calculations: Let bHHi denote the period of time, out of Hi, in which

customers arrive to queue i, and let bHH�i ð�Þ and bhhi denote its LST and its expected value, respectively. Then,

as in (83) and (84),bHH�i ðxÞ ¼ bBB�

i ½x þ kið1� bHH�i ðxÞÞ� ð108Þ

and

bhhi ¼ E½ bHHi� ¼bbbi

1� kibbbi : ð109Þ

Now, using (100) and (109),

E½Mi� ¼ fiðiÞ½1þ kibhhi� ¼ kið1� qiÞd

1� q1

"þ kibbbi1� kibbbi

#¼ ki

1� kibbbi1þ gi

d1� q

1

1� kibbbi¼ ki

1þ gi

d1� q

; ð110Þ

EXMin¼1

zLiðnÞ" #

¼ PiðzÞz� PiðzÞ

½GiðzÞ � 1� ðsee ½10�Þ; ð111Þ

where PiðzÞ is the PGF of the number of customers arrived to queue i during a (generalized) service time of a

single customer. Then, for the [AS] model,

PiðzÞ ¼ bBB�i ðkið1� zÞÞ: ð112Þ

Combining (60), (110), (111) and (112) gives the PGF of Li:

QiðzÞ ¼1þ gi

ki

1� qd

bBB�i ðki � kizÞ

z� bBB�i ðki � kizÞ

½GiðzÞ � 1�: ð113Þ

Differentiating (113) and performing some calculations lead to

E½Li� ¼ Q0ið1Þ ¼ kibbbi þ k2

ibbbð2Þi

2ð1� kibbbiÞ þ fiði; iÞ2fiðiÞ¼ kibbbi þ k2

ibbbð2Þi

2ð1� kibbbiÞ þ 1� qd

fiði; iÞ2kið1� qiÞ

: ð114Þ

In the symmetric case, the mean number of customers is given for the [AC] model by (see [10])

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 605

E½Li� ¼ q0 þk0d

ð2Þ0

2d0þ ðN � 1Þk0d0

2ð1� qÞ þ Nk20b

ð2Þ0

2ð1� qÞ ð115Þ

and in the [AS] model it becomes

E½Li� ¼ k0bbb0 þ k0d

ð2Þ0

2d0þ ðN � 1Þk0d0

2ð1� qÞ þ Nk20b

2ð1� qÞð1þ g0Þ: ð116Þ

5.4. Waiting and sojourn times

In the [AC] model the LST and the expected value of the waiting times are given by (see [10,12]):

W �qiðxÞ ¼ 1� q

kidGið1� x=kiÞ � 1

1� x=ki � B�i ðxÞ

; ð117Þ

E½Wqi � ¼kib

ð2Þi

2ð1� qiÞþ 1� q

dfiði; iÞ

2k2i ð1� qiÞ

: ð118Þ

In [AS] model, define bWWqi (as in the Gated regime) to be the period of time out of Wqi , in which the arrival

process to queue i is active.

Then, using the general relation (71) and (113),

bWW �qiðxÞ ¼ Qið1� x=kiÞbBB�

i ðxÞ¼ 1þ gi

ki

1� qd

Gið1� x=kiÞ � 1

1� x=ki � bBB�i ðxÞ

: ð119Þ

To find the expected value of bWWqi , we can differentiate (119) or use Little’s law:

E½ bWWqi � ¼ � bWW �0qið0Þ ¼ E½Li�

ki� bbbi ¼ kibbbð2Þi

2ð1� kibbbiÞ þ fiði; iÞ2kifiðiÞ

: ð120Þ

By substituting E½Li� from (114) in (75), we finally obtain:

E½Wqi � ¼ kibbbi

þ k2ibbbð2Þi

2ð1� kibbbiÞ þ fiði; iÞ2fiðiÞ

!1þ gi

ki� bbbi

¼ k2ibbbð2Þi

2ð1� kibbbiÞ

þ 1� qd

fiði; iÞ2kið1� qiÞ

!1þ gi

kiþ gibbbi: ð121Þ

In the symmetric case, the mean waiting time is given for the [AC] model by (see [5,10])

E½Wqi � ¼dð2Þ0

2d0þ ðN � 1Þd0

2ð1� qÞ þ Nk0bð2Þ0

2ð1� qÞ ; ð122Þ

and in the [AS] model, using (75) and (116), it becomes:

E½Wqi � ¼ð1þ g0Þd

ð2Þ0

2d0þ ðN � 1Þð1þ g0Þd0

2ð1� qÞ þ Nk0b2ð1� qÞ þ g0

bbb0: ð123Þ

The above results have the following important consequence:

It follows from (77) and (122), as well as from (78) and (123), that for the symmetric cases in both models

606 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

E½WqiðGatedÞ� ¼ E½WqiðExhaustiveÞ� þNk0d0bbb01� q

ð124Þ

(remember that in the [AC] model q0 ¼ k0b0 ¼ k0bbb0Þ. That is, for both models, as in the regular symmetric

polling schemes

E½WqiðExhaustiveÞ� < E½WqiðGatedÞ�: ð125Þ

6. Common results

Combining the above results, it follows that for both regimes (Gated and Exhaustive), for both models

([AC] and [AS]) and for both versions (breakdown observation upon occurrence or at end of service), we can

derive a common (generalized) expression for fiðiÞ, the mean number of customers in a queue at a polling

instant of that queue (see Eq. (126) below). As a result of that, we obtain some generalized expressions for

other important parameters. With bi having the corresponding values for each version, and with hi ex-pressing the mean busy period generated by a customer (which for the Gated regime equals the meanservice time of a single customer) we construct the following table:

It follows that in all cases, for i ¼ 1; 2; . . . ;N ,

fiðiÞ ¼qihi

d1� q

: ð126Þ

By using (126) the mean cycle time (for all models, all versions and all regimes) is given by a common

expression:

E½C� ¼ d þXNi¼1

fiðiÞhi ¼ d þ d1� q

XNi¼1

qihi

hi ¼ d þ d1� q

q ¼ d1� q

: ð127Þ

It follows from (127) that a necessary condition for stability is q < 1. Now, from (126),

fiðiÞ ¼qihiE½C�; ð128Þ

and therefore, the mean sojourn time of the server at queue i is

fiðiÞhi ¼ qiE½C�: ð129Þ

Regime Model qi hi fiðiÞGated AC kibi bi ki

d1� q

ASkibi1þ gi

biki

1þ gi

d1� q

Exhaustive AC kibibi

1� qikið1� qiÞ

d1� q

ASkibi1þ gi

bi1� kibbbi kið1� qiÞ

d1� q

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 607

Thus, qi is the fraction of time the server resides in queue i. We use this result to calculate the mean arrival

rate to queue i, Ki, which is composed of weighted effective arrival rates, with weights qi and ð1� qiÞ,respectively:

Ki ¼ qibbbibi

ki

"þ 1

�bbbibi

!0

#þ ð1� qiÞki ¼ ki 1

"� qi 1

�bbbibi

!#¼ ki 1

"� kibi1þ gi

bi � bbbibi

#

¼ ki 1

�� gi1þ gi

�¼ ki

1þ gi¼ qibi: ð130Þ

Accordingly, the work rate (traffic load) of queue i is

Kibi ¼ qi ð131Þ

and the total traffic load of the system is indeed the generalized q (see remark after Eq. (50)). It follows (see

[4]) that q < 1 is not only a necessary condition for stability, but also a sufficient one. From (129), the mean

number of customers served in queue i during a cycle is

E½Mi� ¼qiE½C�bi

¼ ki1þ gi

E½C�; ð132Þ

which coincides with the results obtained separately for each of the regimes (Eqs. (52) and (64) for the

Gated, and Eq. (110) for the Exhaustive).

7. The Globally Gated regime

In the (cyclic) Globally Gated (GG) regime [1,2], as in the Gated and Exhaustive regimes, the server

visits the queues in a cyclic order. However, at the initiation of every new cycle all gates are simultaneously

closed, so that only those customers present in the system at that instant are served during that cycle.

We assume, without loss of generality, that a cycle starts from queue 1.Let Xj X j1 ¼ the number of customers at queue j at a cycle-beginning. Let fj EðXjÞ f1ðjÞ.In the [AC] model (see [12]):

C�ðxÞ ¼ D�ðxÞC�XNj¼1

kj 1�"

� B�j ðxÞ

�#; ð133Þ

E½C� ¼ d1� q

; ð134Þ

E½C2� ¼ 1

1� q2dð2Þ"

þ 2dq

þXNj¼1

kjbð2Þj

!E½C�

#; ð135Þ

where D PN

j¼1 Dj and dð2Þ is its second-order moment.

In both models, the number of customers present at queue j at a cycle-beginning is the number of

customers that arrived at queue j during a (previous) cycle. However, in the [AS] model, the arrival process

to queue j stops during repair times at that queue, and therefore, in steady state,

Xj ¼ Aj C

�XXjk¼1

ðBðkÞj � bBBðkÞ

j Þ!; ð136Þ

608 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

where BðkÞj � Bj and bBBðkÞ

j � bBBj for every k. It follows thatfj ¼ kjðE½C� � fjðbj � bbbjÞÞ ¼ kjE½C� � fjgj; leading to

fj ¼kjE½C�1þ gj

:ð137Þ

Now,

C ¼ DþXNj¼1

XXjk¼1

BðkÞj : ð138Þ

Hence, with F1ðzÞ EQNj¼1 z

Xjj

h i, we get

C�ðxÞ ¼ D�ðxÞF1 B�i ðxÞ;B�

2ðxÞ; . . . ;B�N ðxÞ

� �ð139Þ

and

E½C� ¼ d þXNj¼1

fjbj: ð140Þ

Substituting fj from (137), we have

E½C� ¼ d þXNj¼1

kjbj1þ gj

E½C� ¼ d þ qE½C�;

leading to, as in the other regimes,

E½C� ¼ d1� q

: ð141Þ

Thus,

fj ¼kj

1þ gj

d1� q

: ð142Þ

That is, f1ðjÞGG ¼ fjðjÞGated.

7.1. Waiting times

To be able to obtain expressions for the mean waiting time of a customer in queue i in the two models we

need an expression for the second-order moment of a cycle. From (138) we get:

E½C2� ¼ E D2

8<: þ 2DXNj¼1

XXjk¼1

BðkÞj þ

XNj¼1

XXjk¼1

BðkÞj

!29=;: ð143Þ

After some algebraic manipulations (see Appendix A) we obtain:

E½C2� ¼dð2Þ þ 2dq þ

PNj¼1

kjbð2Þj

1þgjþ kjq

2j

1�gjðbð2Þj � 2E½BjbBBj� þ bbbð2Þj Þ

� �� �E½C�

1� q2: ð144Þ

Now, for both models, let CP CR denote, respectively, the past and residual duration of a cycle. Then (see [1]):

C�PðxÞ ¼ C�

RðxÞ ¼ 1� C�ðxÞxE½C� ð145Þ

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 609

and

E½CP� ¼ E½CR� ¼E½C2�2E½C� : ð146Þ

Consider an arbitrary customer J at queue j. His waiting time is composed of

(i)iva residual cycle time CR,

(ii)vthe service times of all customers who arrive at queues 1; 2; . . . ; j� 1 during the cycle in which J arrives,

(iii) the switchover times of the server between queues 1; 2; . . . ; j� 1 and j, and(iv) the service times of all customers who arrived at queue j before J, i.e. during the past part CP of the

cycle in which J arrives.

Then,

E½Wqj � ¼ E½CR� þXj�1

k¼1

E½AkðCP þ CRÞ�bk þXj�1

k¼1

dk þ E½AjðCPÞ�bj: ð147Þ

In the [AC] model Eq. (147) becomes (see [1])

E½Wqj � ¼ 1

þ 2

Xj�1

k¼1

qk þ qj

!E½CR� þ

Xj�1

k¼1

dk: ð148Þ

In the [AS] model the calculation of E½AkðCPÞ� is much more complicated. In order to find E½AkðCPÞ� weconsider the three possible cases for the position of the server at the instant of arrival of customer J.

(1) the server is before queue k;

(2) the server is in queue k; and

(3) the server has passed queue k.

The probabilities for these cases are, respectively, sk=E½C�, qk and 1� qk � ðsk=E½C�Þð Þ, where sk is

the mean time from the start of a cycle until the server enters queue k. From (129), sk ¼Pk�1

m¼1 ðqmE½C� þ dmÞ. The arrival rate to queue k when the server is in that queue is kkðbbbk=bkÞ, and it equals

kk when the server is not in queue k. Therefore, an approximation to E½AkðCPÞ�, based on an assumption of

independence between the various elements, is given by

E½AkðCPÞ� ¼skE½C� kkE½CP� þ qk kksk

"þ kk

bbbkbk

ðE½CP� � skÞ#þ 1

�� qk �

skE½C�

�kkbbbkbk

qkE½C�"

þ kkðE½CP� � qkE½C�Þ#

¼ kk qkbbbkbk

(þ 1� qk

!E½CP� þ qk 1

�bbbkbk

!½2sk � E½C�ð1� qkÞ�

)

¼ kk E½CP��

� gk1þ gk

E½CP� þgk

1þ gk½2sk � E½C�ð1� qkÞ�

0¼ kk

1þ gk½EðCPÞ þ 2gksk � gkð1� qkÞEðCÞ�: ð149Þ

610 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

In a similar way,

E½AkðCRÞ� ¼skE½C� kk

bbbkbk

qkE½C�"

þ kkðE½CR� � qkE½C�Þ#þ qk kk½ð1

"� qkÞE½C� � sk�

þ kkbbbkbk

½E½CR� � ð1� qkÞE½C� þ sk�#þ 1

�� qk �

skE½C�

�kkE½CR�

¼ kk qkbbbkbk

(þ 1� qk

!E½CR� � qk 1

�bbbkbk

!½2sk � E½C�ð1� qkÞ�

)

¼ kk E½CR��

� gk1þ gk

E½CR� �gk

1þ gk2sk½ � E½C�ð1� qkÞ�

0

¼ kk1þ gk

½EðCRÞ � 2gksk þ gkð1� qkÞEðCÞ�: ð150Þ

Substituting (149) and (150) in (147) while using (146) and (148), we get, for the [AS] model:

E½WqjðASÞ� ¼ E½CR� þXj�1

k¼1

2kkbk1þ gk

E½CR� þXj�1

k¼1

dk þkjbj1þ gj

½EðCRÞ þ 2gjsj � gjð1� qjÞEðCÞ�

¼ 1

þ 2

Xj�1

k¼1

qk þ qj

!E½CR� þ

Xj�1

k¼1

dk þ qjgj½2sj � ð1� qjÞEðCÞ�

¼ E WqjðACÞ� �

þ qjgj½2sj � ð1� qjÞEðCÞ�; ð151Þ

which generalizes (148) since gj ¼ 0 in the [AC] model. Note, however, that E½CjAC� 6¼ E½CjAS�.

8. Conclusions

We have studied the combined effects of breakdowns and repairs on the performance measures of polling

systems operating under the Gated, Exhaustive or Globally Gated regimes. Twelve models were analyzed ina generalized and unified manner. The results can be applied to various manufacturing and communication

systems and used as stepping stones for further analysis of complex polling models.

Appendix A. Calculation of E [C2] for the Globally Gated regime

Observing Eq. (143) we first calculate:

EXNj¼1

XXjk¼1

BðkÞj

!224 35 ¼ E

XNj¼1

XXjk¼1

ðBðkÞj Þ2

248<: þXXjk¼1

XXj‘¼1‘ 6¼k

BðkÞj B

ð‘Þj þ

XXjk¼1

BðkÞj

XNm¼1m6¼j

XXm‘¼1

Bð‘Þm

359=;¼XNj¼1

kj1þ gj

E½C�bð2Þj

8<: þ E½XjðXj � 1Þ�b2j þkjbj1þ gj

XNm¼1m6¼j

kmbm1þ gm

E½C2�

9=;:

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 611

Similarly to the derivation of Eq. (93), we get,

E½XjðXj � 1Þ� ¼ k2j E C

24 �XXjk¼1

ðBðkÞj � bBBðkÞ

j Þ!235

¼ k2j E C2

"� 2C

XXjk¼1

ðBðkÞj � bBBðkÞ

j Þ þXXjk¼1

ðBðkÞj � bBBðkÞ

j Þ2#

þ k2j E

XXjk¼1

XXjm¼1m 6¼k

ðBðkÞj

24 � bBBðkÞj ÞðBðmÞ

j � bBBðmÞj Þ

35¼ k2

j E½C2�"

� 2kj

1þ gjðbj � bbbjÞE½C2� þ kj

1þ gjE½C�½bð2Þj � 2E½BjbBBj� þ bbbð2Þj �

#þ k2

j E½XjðXjh

� 1Þ�ðbj � bbbjÞ2i) E½XjðXj � 1Þ� ¼

k2j

1� g2j

1� gj1þ gj

E½C2�(

þ kj1þ gj

E½C�½bð2Þj � 2E½BjbBBj� þ bbbð2Þj �)

) E½XjðXj � 1Þ�b2j ¼ q2j E½C2� þ kj

1� gjq2j E½C� b

ð2Þj

h� 2E½BjbBBj� þ bbbð2Þj i

) EXNj¼1

XXjk¼1

BðkÞj

!224 35

¼XNj¼1

kjbð2Þj

1þ gjE½C�

(þ q2

j E½C2� þkjq2

j

1� gjbð2Þj

�� 2E½BjbBBj� þ bbbð2Þj �E½C�

)

þ q2

�XNj¼1

q2j

!E½C2�: ðA:1Þ

By substituting (A.1) in (143) we get

E½C2� ¼ dð2Þ þ 2dpE½C� þXNj¼1

kjbð2Þj

1þ gj

kjq2j

1� gjðbð2Þj � 2E½BjbBBj� þ bbbð2Þj Þ

)E½C� þ q2E½C2�; ðA:2Þ

which leads to Eq. (144).

References

[1] O.J. Boxma, H. Levy, U. Yechiali, Cyclic reservation schemes for efficient operation of multiple-queue single-server systems,

Annals of Operations Research 35 (1992) 187–208.

[2] O.J. Boxma, J.A. Weststrate, U. Yechiali, A globally gated polling system with server interruptions and applications to the

repairman problem, Probability in the Engineering and Informational Sciences 7 (1993) 187–208.

[3] R.W. Conway, W.L. Maxwell, L.W. Miller, Theory of Scheduling, Addison-Wesley, Reading, MA, 1967.

[4] C. Fricker, M.R. Ja€ııbi, Monotonicity and stability of periodic polling models, Queueing Systems 15 (1994) 211–238.

[5] O. Hashida, Analysis of multiqueue, Review of the Electrical Communication Laboratories 20 (1972) 189–199.

[6] O. Hashida, Gating multiqueues served in cyclic order, Systems–Computers–Controls 1 (1970) 1–8.

612 O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613

[7] L. Kleinrock, Queueing Systems, vol. 1 Theory, John Wiley and Sons, New York, 1975.

[8] D. Kofman, U. Yechiali, Polling systems with station breakdowns, Performance Evaluation 27&28 (1996) 647–672.

[9] D. Kofman, U. Yechiali, Queueing networks with station breakdowns and globally gated regime, in: V. Ramaswamy, P.E. Wirth

(Eds.), Teletraffic Contributions for the Information Age, North Holland, Amsterdam, 1997, pp. 285–296.

[10] H. Takagi, Analysis of Polling Systems, MIT Press, Cambridge, MA, 1986.

[11] H. Takagi, Queueing analysis of polling models: An update, in: H. Takagi (Ed.), Stochastic Analysis of Computer and

Communication Systems, North Holland, Amsterdam, 1990, pp. 267–318.

[12] U. Yechiali, Analysis and control of polling systems, in: L. Donatiello, R. Nelson (Eds.), Performance Evaluation of Computer

and Communications Systems, Springer-Verlag, 1993, pp. 630–650.

O. Nakdimon, U. Yechiali / European Journal of Operational Research 149 (2003) 588–613 613