Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation