public ColouredArc(ColouredPetriGraph graph, string tail, string head, string function) : base(graph, tail, head, function) { }
public ColouredTransition(ColouredPetriGraph graph, string name) : base(graph, name) { }
public ColouredPetriNet(ColouredPetriGraph graph) { this.Graph = graph; this.Graph.Colors.RegisterAllFunctions(); r = new Random(); }
public override object Clone() { ColouredPetriGraph g = new ColouredPetriGraph(); this.CopyTo(g); return g; }