Algebraic techniques & symmetries : an efficient simulation approach for well-formed Petri nets