public class PnmlExportNetToPNML extends PnmlExportNet
Constructor and Description |
---|
PnmlExportNetToPNML() |
Modifier and Type | Method and Description |
---|---|
void |
exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
ConfigurableResetInhibitorNet configurableNet,
java.io.File file) |
void |
exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
OpenNet openNet,
java.io.File file) |
void |
exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file) |
exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLString
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file) throws java.io.IOException
java.io.IOException
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, OpenNet openNet, java.io.File file) throws java.io.IOException
java.io.IOException
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, ConfigurableResetInhibitorNet configurableNet, java.io.File file) throws java.io.IOException
java.io.IOException