Email Record: Approximation methods for stochastic petri nets /