Mapping Coloured Stochastic Petrinets to stochastic process algebras