public PNMLExporter(Model.ProcessModel processModel) { this.processModel = processModel; }
public DotExporter(Model.ProcessModel processModel) { this.processModel = processModel; }