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