Taylor series expansions for Poisson-driven $(\max,+$)-linear systems
Open Access
- 1 February 1996
- journal article
- Published by Institute of Mathematical Statistics in The Annals of Applied Probability
- Vol. 6 (1) , 138-185
- https://doi.org/10.1214/aoap/1034968069
Abstract
We give a Taylor series expansion for the mean value of the canonical stationary state variables of open (max +)-linear stochastic systems with Poisson input process. Probabilistic expressions are derived for coefficients of all orders, under certain integrability conditions. The coefficients in the series expansion are the expectations of polynomials, known in explicit form, of certain random variables defined from the data of the (max +)-linear system. These polynomials are of independent combinatorial interest: their monomials belong to a subset of those obtained in the multinomial expansion; they are also invariant under cyclic permutation and under translations along the main diagonal. The method for proving these results is based on two ingredients: (1) the (max +)-linear representation of the stationary state variables as functionals of the input point process; (2) the series expansion representation of functionals of marked point processes and, in particular, of Poisson point processes. Several applications of these results are proposed in queueing theory and within the framework of stochastic Petri nets. It is well known that (max +)-linear systems allow one 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-join queueing networks, finite or infinite capacity tandem queueing networks with various types of blocking (manufacturing and communication), synchronized queueing networks and so on. It also contains some basic manufacturing models such as Kanban networks, Job-Shop systems and so forth. The applicability of this expansion method is discussed for several systems of this type. In the M/D case (i.e., all service times are deterministic), the approach is quite practical, as all coefficients of the expansion are obtained in closed form. In the M/GI case, the computation of the coefficient of order k can be seen as that of joint distributions in a stochastic PERT graph of an order which is linear in k .Keywords
This publication has 27 references indexed in Scilit:
- Analyticity of single-server queues in light trafficQueueing Systems, 1995
- Development and justification of the Power-series algorithm forBMAP-SystemsCommunications in Statistics. Stochastic Models, 1995
- Light-traffic approximations for Markov-modulated multi-server queuesCommunications in Statistics. Stochastic Models, 1995
- A new approach to the G/G/1 queue with generalized setup time and exhaustive serviceJournal of Applied Probability, 1994
- Queues in Series in Light TrafficThe Annals of Applied Probability, 1993
- The MacLaurin expansion for a G/G/1 queue with Markov-modulated arrivals and servicesQueueing Systems, 1993
- Calculating light traffic limits for sojourn times in open markovian queueing systemsCommunications in Statistics. Stochastic Models, 1993
- Analyticity of Poisson-driven stochastic systemsAdvances in Applied Probability, 1992
- Ergodic Theory of Stochastic Petri NetworksThe Annals of Probability, 1992
- On a tandem queueing model with identical service times at both counters, IAdvances in Applied Probability, 1979