A tool for the numerical solution of cooperating Markov chains in product-form