Towards a Product Form Solution for Stochastic Process Algebras