Text this: Approximation methods for stochastic petri nets / by Hauke Jörg Jungnitz.