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;
}