Mean Value Analysis of Stochastic Petri Nets