Stability of Fluid Networks with Proportional Routing

In this paper we investigate the stability of a class of two-station multiclass fluid networks with proportional routing. We obtain explicit necessary and sufficient conditions for the global stability of such networks. By virtue of a stability theorem of Dai [14], these results also give sufficient conditions for the stability of a class of related multiclass queueing networks. Our study extends the results of Dai and VandeVate [19], who provided a similar analysis for fluid models without proportional routing, which arise from queueing networks with deterministic routing. The models we investigate include fluid models which arise from a large class of two-station queueing networks with probabilistic routing. The stability conditions derived turn out to have an appealing intuitive interpretation in terms of virtual stations and push-starts which were introduced in earlier work on multiclass networks.     

Laplace Transform and Moments of Waiting Times in Poisson Driven (max,+) Linear Systems

(Max,+) linear systems can be used to represent stochastic Petri nets belonging to the class of event graphs. This class contains various instances of queueing networks like acyclic or cyclic fork-and-join queueing networks, finite or infinite capacity tandem queueing networks with various types of blocking, synchronized queueing networks and so on. It also contains some basic manufacturing models such as kanban networks, assembly systems and so forth.In their 1997 paper, Baccelli, Hasenfuss and Schmidt provide explicit expressions for the expected value of the waiting time of the nth customer in a given subarea of a (max,+) linear system. Using similar analysis, we present explicit expressions for the moments and the Laplace transform of transient waiting times in Poisson driven (max,+) linear systems. Furthermore, starting with these closed form expressions, we also derive explicit expressions for the moments and the Laplace transform of stationary waiting times in a class of (max,+) linear systems with deterministic service times. Examples pertaining to queueing theory are given to illustrate the results.     

Exact analysis of queueing networks with multiple job classes and blocking-after-service

Two models of closed queueing networks with blocking-after-service and multiple job classes are analyzed. The first model is a network withN stations and each station has either type II or type III. The second model is a star-like queueing network, also called a central server model, in which the stations may have either type I or type IV, with the condition that the neighbors of these stations must be of type II or type III such that blocking will be caused only by this set of station types. Exact product form solutions are obtained for the equilibrium state probabilities in both models. Formulae for performance measures such as throughput and the mean number of jobs are also derived.This work was supported by the National Science Foundation (NSF) under Grant No. CCR-90-11981.     

Analysis of the GIX/M/c model

In this paper, the GI^X/M/c queueing model is analyzed. An explicit expression of the generating function of equilibrium probabilities of customer numbers in the system for the model is derived. Based on the generating function, it is proved that the equilibrium probabilities are given by a linear combination of some geometric terms. Due to this result, other interesting measures are also considered without difficulty. Examples and numerical results are given.     

A sufficient condition and a necessary condition for the diffusion approximations of multiclass queueing networks under priority service disciplines

We establish a sufficient condition for the existence of the (conventional) diffusion approximation for multiclass queueing networks under priority service disciplines. The sufficient condition relates to a sufficient condition for the weak stability of the fluid networks that correspond to the queueing networks under consideration. In addition, we establish a necessary condition for the network to have a continuous diffusion limit; the necessary condition is to require a reflection matrix (of dimension equal to the number of stations) to be completely-S. When applied to some examples, including generalized Jackson networks, single station multiclass queues, first-buffer-first-served re-entrant lines, a two-station Dai–Wang network and a three-station Dumas network, the sufficient condition coincides with the necessary condition.     

An Exact Solution for the State Probabilities of the Multi-Class,Multi-Server Queue with Preemptive Priorities

We consider a multi-class, multi-server queueing system with preemptive priorities. We distinguish two groups of priority classes that consist of multiple customer types, each having their own arrival and service rate. We assume Poisson arrival processes and exponentially distributed service times. We derive an exact method to estimate the steady state probabilities. Because we need iterations to calculate the steady state probabilities, the only error arises from choosing a finite number of matrix iterations. Based on these probabilities, we can derive approximations for a wide range of relevant performance characteristics, such as the moments of the number of customers of a certain type in the system en the expected postponement time for each customer class. We illustrate our method with some numerical examples. Numerical results show that in most cases we need only a moderate number of matrix iterations (∼20) to obtain an error less than 1% when estimating key performance characteristics.This revised version was published online in June 2005 with corrected coverdate     

Algorithmic analysis of the multi-server system with a modified Bernoulli vacation schedule

This paper considers an infinite-capacity M/M/c queueing system with modified Bernoulli vacation under a single vacation policy. At each service completion of a server, the server may go for a vacation or may continue to serve the next customer, if any in the queue. The system is analyzed as a quasi-birth-and-death (QBD) process and the necessary and sufficient condition of system equilibrium is obtained. The explicit closed-form of the rate matrix is derived and the useful formula for computing stationary probabilities is developed by using matrix analytic approach. System performance measures are explicitly developed in terms of computable forms. A cost model is derived to determine the optimal values of the number of servers, service rate and vacation rate simultaneously at the minimum total expected cost per unit time. Illustrative numerical examples demonstrate the optimization approach as well as the effect of various parameters on system performance measures.     

Instability of LAS multiclass queueing networks

We provide an example of a strictly subcritical multiclass queueing network which is unstable under the least attained service (LAS) service protocol. It is a reentrant line with two servers and six customer classes. The customer interarrival times in our system are bounded below and have finite exponential moments, while the corresponding service times are deterministic. As a special case, we obtain a deterministic, strictly subcritical unstable LAS network.     

Analysis of <Emphasis Type="Italic">N</Emphasis>-policy queues with disastrous breakdown

In the area of optimal design and control of queues, the N-policy has received great attention. A single server queueing system with system disaster is considered where the server waits till N customers accumulate in the queue and upon the arrival of Nth customer the server begins to serve the customers until the system becomes idle or the occurrence of disaster whichever happens earlier. The system size probabilities in transient state are obtained in closed form using generating functions and steady-state system size probabilities are derived in closed form using generating functions and continued fractions. Further, the mean and variance for the number of customers in the system are derived for both transient and steady states and these results are deduced for the specific models. Time-dependent busy period distribution is also obtained. Numerical illustrations are also shown to visualize the system effect.     

Analysis of a two-class single-server discrete-time FCFS queue: the effect of interclass correlation

In this paper, we study a discrete-time queueing system with one server and two classes of customers. Customers enter the system according to a general independent arrival process. The classes of consecutive customers, however, are correlated in a Markovian way. The system uses a “global FCFS” service discipline, i.e., all arriving customers are accommodated in one single FCFS queue, regardless of their classes. The service-time distribution of the customers is general but class-dependent, and therefore, the exact order in which the customers of both classes succeed each other in the arrival stream is important, which is reflected by the complexity of the system content and waiting time analysis presented in this paper. In particular, a detailed waiting time analysis of this kind of multi-class system has not yet been published, and is considered to be one of the main novelties by the authors. In addition to that, a major aim of the paper is to estimate the impact of interclass correlation in the arrival stream on the total number of customers in the system, and the customer delay. The results reveal that the system can exhibit two different classes of stochastic equilibrium: a “strong” equilibrium where both customer classes give rise to stable behavior individually, and a “compensated” equilibrium where one customer type creates overload.     

On a class of approximations for closed queueing networks

This paper presents some analytical results concerning an approximation procedure for closed queueing networks. The procedure is well-known and has been found useful for product-form networks where large numbers of queues, jobs or job classes prohibit an exact analysis, as well as for networks which do not possess product-form. The procedure represents the mean sojourn time at a queue as a function of the throughput of the queue, and derives a set of fixed point equations for the throughputs of the various job classes. We begin by showing that under a mild regularity condition the fixed point equations have a unique solution. Then we show that derivatives of performance measures can be readily calculated, and that their simple form provides an interesting insight into capacity allocation in closed queueing networks.This work was supported in part by the Nuffield Foundation     

On the reversibility of queueing networks

This paper relates the reversibility of certain discrete state Markovian queueing networks — the class of quasi-reversible networks — to the reversibility of the underlying switching process. Quasi-reversible networks are characterized by a product form equilibrium state distribution.When the state can be represented by customer totals at each node, the reversibility of the state process is equivalent to the reversibility of the switching process. More complicated quasi-reversible networks require additional conditions, to ensure the reversibility of the network state process.     

Transient and stationary waiting times in (max,+)-linear systems with Poisson input

We consider a certain class of vectorial evolution equations, which are linear in the (max,+) semi-field. They can be used to model several Types of discrete event systems, in particular queueing networks where we assume that the arrival process of customers (tokens, jobs, etc.) is Poisson. Under natural Cramér Type conditions on certain variables, we show that the expected waiting time which the nth customer has to spend in a given subarea of such a system can be expanded analytically in an infinite power series with respect to the arrival intensity λ. Furthermore, we state an algorithm for computing all coefficients of this series expansion and derive an explicit finite representation formula for the remainder term. We also give an explicit finite expansion for expected stationary waiting times in (max,+)-linear systems with deterministic queueing services. This revised version was published online in June 2006 with corrections to the Cover Date.     

G-networks with multiple classes of signals and positive customers

G-networks are queueing models in which the types of customers one usually deals with in queues are enriched in several ways. In Gnetworks, positive customers are those that are ordinarily found in queueing systems; they queue up and wait for service, obtain service and then leave or go to some other queue. Negative customers have the specific function of destroying ordinary or positive customers. Finally triggers simply move an ordinary customer from one queue to the other. The term “signal” is used to cover negative customers and triggers. G-networks contain these three type of entities with certain restrictions; positive customers can move from one queue to another, and they can change into negative customers or into triggers when they leave a queue. On the other hand, signals (i.e. negative customers and triggers) do not queue up for service and simply disappear after having joined a queue and having destroyed or moved a negative customer. This paper considers this class of networks with multiple classes of positive customers and of signals. We show that with appropriate assumptions on service times, service disciplines, and triggering or destruction rules on the part of signals, these networks have a product form solution, extending earlier results.     

Asymptotic analysis for closed multiclass queueing networks in critical usage

We consider a class of closed multiclass queueing networks containing First-Come-First-Serve (FCFS) and Infinite Server (IS) stations. These networks have a productform solution for their equilibrium probabilities. We study these networks in an asymptotic regime for which the number of customers and the service rates at the FCFS stations go to infinity with the same order. We assume that the regime is in critical usage, whereby the utilizations of the FCFS servers slowly approach one. The asymptotic distribution of the normalized queue lengths is shown to be in many cases a truncated multivariate normal distribution. Traffic conditions for which the normalized queue lengths arealmost asymptotically independent are determined. Asymptotic expansions of utilizations and expected queue lengths are presented. We show through an example how to obtain asymptotic expansions of performance measures when the networks are in mixed usage and how to apply the results to networks with finite data.Supported partially by NSF grant NCR93-04601.     

First-passage-time and busy-period distributions of discrete-time Markovian queues:Geom(n)/Geom(n)/1/N

This paper gives simple explicit solutions of various first-passage-time distributions for a general class of discrete-time queueing models under arbitrary initial conditions, state-dependent transition probabilities and the finite waiting room. Explicit closed form expressions are obtained in terms of roots. These expressions are then used to get numerical as well as graphical results. Explicit closed-form expressions are also deduced for the continuous-time models including the busy-period distributions. The analysis is then extended to cover the case of two absorbing states.     

Implementation of Markovian Queueing Network Model with Multiple Closed Chains

Mathematical strategy portrays the performance evaluation of computer and communication system and it deals with the stochastic properties of the multiclass Markovian queueing system with class-dependent and server-dependent service times. An algorithm is designed where the job transitions are characterized by more than one closed Markov chain. Generating functions are implemented to derive closed form of solutions and product form solution with the parameters such as stability, normalizations constant and marginal distributions. For such a system with N servers and L chains, the solutions are considerably more complicated than those for the systems with one sub-chain only. In Multi-class queueing network, a job moves from a queue to another queue with some probability after getting a service. A multiple class of customer could be open or closed where each class has its own set of queueing parameters. These parameters are obtained by analyzing each station in isolation under the assumption that the arrival process of each class is a state-dependent Markovian process along with different service time distributions. An algorithmic approach is implemented from the generating function representation for the general class of Networks. Based on the algorithmic approach it is proved that how open and closed sub-chain interact with each other in such system. Specifically, computation techniques are provided for the calculation of the Markovian model for multiple chains and it is shown that these algorithms converge exponentially fast.     

A queueing model for crowdsourcing

Crowdsourcing is getting popular after a number of industries such as food, consumer products, hotels, electronics, and other large retailers bought into this idea of serving customers. In this paper, we introduce a multi-server queueing model in the context of crowdsourcing. We assume that two types, say, Type 1 and Type 2, of customers arrive to a c-server queueing system. A Type 1 customer has to receive service by one of c servers while a Type 2 customer may be served by a Type 1 customer who is available to act as a server soon after getting a service or by one of c servers. We assume that a Type 1 customer will be available for serving a Type 2 customer (provided there is at least one Type 2 customer waiting in the queue at the time of the service completion of that Type 1 customer) with probability \(p, 0 \le p \le 1\). With probability \(q = 1 - p\), a Type 1 customer will opt out of serving a Type 2 customer provided there is at least one Type 2 customer waiting in the system. Upon completion of a service a free server will offer service to a Type 1 customer on an FCFS basis; however, if there are no Type 1 customers waiting in the system, the server will serve a Type 2 customer if there is one present in the queue. If a Type 1 customer decides to serve a Type 2 customer, for our analysis purposes that Type 2 customer will be removed from the system as Type 1 customer will leave the system with that Type 2 customer. Under the assumption of exponential services for both types of customers we study the model in steady state using matrix analytic methods and establish some results including explicit ones for the waiting time distributions. Some illustrative numerical examples are presented.     

Reflected Brownian motion in the quadrant: tail behavior of the stationary distribution

Let Z be a two-dimensional Brownian motion confined to the non-negative quadrant by oblique reflection at the boundary. Such processes arise in applied probability as diffusion approximations for two-station queueing networks. The parameters of Z are a drift vector, a covariance matrix, and a “direction of reflection” for each of the quadrant’s two boundary rays. Necessary and sufficient conditions are known for Z to be a positive recurrent semimartingale, and they are the only restrictions imposed on the process data in our study. Under those assumptions, a large deviations principle (LDP) is conjectured for the stationary distribution of Z, and we recapitulate the cases for which it has been rigorously justified. For sufficiently regular sets B, the LDP says that the stationary probability of xB decays exponentially as x→∞, and the asymptotic decay rate is the minimum value achieved by a certain function I(?) over the set B. Avram, Dai and Hasenbein  (Queueing Syst.: Theory Appl. 37, 259–289, 2001) provided a complete and explicit solution for the large deviations rate function I(?). In this paper we re-express their solution in a simplified form, showing along the way that the computation of I(?) reduces to a relatively simple problem of least-cost travel between a point and a line.