On the product-form solution of a class of multiple-bus multiprocessor system models