public override object Clone() { ColouredPlace place = new ColouredPlace(this.Graph as ColouredPetriGraph, this.Name); this.CopyTo(place); return place; }
public ColouredPlaceWrapper(IGraphWrapper graphWrapper, ColouredPlace place) : base(graphWrapper, place) { }