This paper focuses on the stability of open queueing systems under stationary ergodic assumptions. It defines a set of conditions, the monotone separable framework, ensuring that the stability region is given by the following saturation rule: ‘saturate' the queues which are fed by the external arrival stream; look at the ‘intensity' μ of the departure stream in this saturated system; then stability holds whenever the intensity of the arrival process, say λ satisfies the condition λ < μ, whereas the network is unstable if λ > μ. Whenever the stability condition is satisfied, it is also shown that certain state variables associated with the network admit a finite stationary regime which is constructed pathwise using a Loynes-type backward argument. This framework involves two main pathwise properties, external monotonicity and separability, which are satisfied by several classical queueing networks. The main tool for the proof of this rule is subadditive ergodic theory. It is shown that, for various problems, the proposed method provides an alternative to the methods based on Harris recurrence and regeneration; this is particularly true in the Markov case, where we show that the distributional assumptions commonly made on service or arrival times so as to ensure Harris recurrence can in fact be relaxed.

Generalized semi-Markov schemes were devised to give a versatile general model embracing queueing networks and similar systems of practical importance, and they have proved particularly successful in uniting many disparate results on insensitivity. However, it turns out that, although closed queueing networks are expressible as GSMS, open networks are not, and that the insensitivity results for such networks are not therefore strictly within their scope. In this paper, it is shown that, as one might hope, open networks can be realized as limits of a suitable sequence of closed networks in such a way that the insensitivity properties of the GSMS are transferred to the open network in the limit, and thus that open networks too can, in a sense, be considered to be GSMS. However, it appears from the technical nature of the arguments involved that, despite this close relationship between GSMS and open networks, it may nonetheless be simpler to treat them separately when constructing the proofs of theorems.