The paper considers an extension to the reversible counters system of Lampard [1]. In Lampard's model the input processes are two independent Poisson processes; this results in a gamma Markov sequence for the time-interval between successive output pulses and a negative binomial Markov sequence for the counts at the times of out-put pulses. We consider the input process to be a bivariate Poisson process and show that the first out-put process given above is not affected, while the second out-put-process becomes of a type studied in the theory of branching processes.

The results obtained by Lehoczky on the first emptiness of a dam subject to random outputs are extended to a more general model.

Let A1, A2, ···, An be events on a given probability space and let Br, n be the event that exactly r of the A's occur. Let further Sk (n) be the kth binomial moment of the number of the A's which occur. A sufficient condition is given for the existence of lim P (Br,n), as n→ + ∞, in terms of limits of the Sk(n)'s and a formula is given for the limit above. This formula for the limit is similar to the sieve theorem of Takács (1967) for infinite sequences of events and in the proof we make use of Takács's analytic method. The result is immediately applicable to the limit distribution of the maximum of (dependent) random variables X1, X2, ···, Xn by choosing Aj = {Xj ≧ x}. Our main theorem is reformulated for this special case and an example is given for illustration.

A model is studied in which each of several servers assembles finished products consisting of N different input items. Items of each type arrive independently at the assembly station and are grouped into N-tuples consisting of one item of each type. N-tuples are assembled into finished products by the servers on a first come-first-served basis. The model is analyzed by means of the theory of weak convergence, and functional limit theorems are obtained for appropriately normalized random functions induced by the queue size processes. The limits are expressed as functionals of multi-dimensional Wiener processes, with ordinary central limit theorems obtained as corollaries.