public PetriNetRenderer(PetriGraph net) { this.algo = new GraphvizAlgorithm(net); this.algo.ImageType = GraphvizImageType.Png; this.algo.FormatVertex += new FormatVertexEventHandler(algo_FormatVertex); }
public PetriNetRenderer(PetriGraph net) { this.algo=new GraphvizAlgorithm(net); this.algo.ImageType = GraphvizImageType.Png; this.algo.FormatVertex+=new FormatVertexEventHandler(algo_FormatVertex); }