public ColouredArcWrapper(ColouredPetriGraphWrapper graphWrapper, ColouredArc arc)
: base(graphWrapper, arc)
{
}
public override object Clone()
{
var ca = new ColouredArc(this.Graph, this.Tail.Value.ToString(), this.Head.Value.ToString(), this.Name);
this.CopyTo(ca);
return ca;
}