Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions