Product-form in queueing networks door Boucherie