Stochastic Petri net semantics for stochastic process algebras