A finite compensation procedure for a class of two-dimensional random walks

Motivated by queueing applications, we consider a class of two-dimensional random walks, the invariant measure of which can be written as a linear combination of a finite number of product-form terms. In this work, we investigate under which conditions such an elegant solution can be derived by applying a finite compensation procedure. The conditions are formulated in terms of relations among the transition probabilities in the inner area, the boundaries as well as the origin. A discussion on the importance of these conditions is also given.