public override object Clone() { PetriNetGraphWrapper pWrapper = new PetriNetGraphWrapper(); this.CopyTo(pWrapper); return pWrapper; }
public static void SetDefaultEventHandlers(PetriNetGraphWrapper graphWrapper) { WFGraphWrapper.SetDefaultEventHandlers(graphWrapper); graphWrapper.Graph.OnVertexAdded += new EventHandler<VerticesModifiedEventArgs>(graphWrapper.graph_OnVertexAdded); }