Graph transformation systems: a semantics based on (stochastic) symmetric nets