public override object Clone()
{
PetriNetGraph pGraph = new PetriNetGraph();
this.CopyTo(pGraph);
return pGraph;
}
public ColouredPlace(PetriNetGraph graph, string name, string colorName = "")
: base(graph, name)
{
this.ColorSetName = colorName;
this.collection = (this.Graph as ColouredPetriGraph).Colors;
this.InitTokens = new List<Token>();
this.Tokens = new MultiSet<Function>();
}
public PetriNetGraphWrapper()
: base()
{
DefaultPlaceSize = base.DefaultVertexSize;
DefaultTransitionSize = base.DefaultVertexSize;
Graph = new PetriNetGraph();
PetriNetGraphWrapper.SetDefaultEventHandlers(this);
}
public ColouredPlace(PetriNetGraph graph, string name, ColorSet color)
: this(graph, name, color.Name)
{
}
