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) { }