An Operational Semantics of Graph Transformation Systems Using Symmetric Nets