public class PnmlExportStochasticNet
extends java.lang.Object
Constructor and Description |
---|
PnmlExportStochasticNet() |
Modifier and Type | Method and Description |
---|---|
void |
exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.io.Writer writer) |
void |
exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
StochasticNet net,
java.io.File file) |
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, StochasticNet net, java.io.File file) throws java.lang.Exception
java.lang.Exception
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.io.Writer writer) throws java.lang.Exception
java.lang.Exception