Product-form stationary distribution