public IArc AddArc(ITransition transition, IPlace place)
{
IArc arc = new Arc(this.version++, transition, place);
this.arcs.Add(arc);
this.graph.AddEdge(transition, place);
return arc;
}
public IArc AddArc(IPlace place, ITransition transition)
{
IArc arc=new Arc(version++,place,transition);
this.arcs.Add(arc);
this.graph.AddEdge(arc);
return arc;
}
