org.processmining.plugins.pnml.exporting
Class PnmlExportNetToPNML
java.lang.Object
org.processmining.plugins.pnml.exporting.PnmlExportNet
org.processmining.plugins.pnml.exporting.PnmlExportNetToPNML
public class PnmlExportNetToPNML
- extends PnmlExportNet
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PnmlExportNetToPNML
public PnmlExportNetToPNML()
exportPetriNetToPNMLFile
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file)
throws java.io.IOException
- Throws:
java.io.IOException
exportPetriNetToPNMLFile
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
OpenNet openNet,
java.io.File file)
throws java.io.IOException
- Throws:
java.io.IOException
exportPetriNetToPNMLFile
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
ConfigurableResetInhibitorNet configurableNet,
java.io.File file)
throws java.io.IOException
- Throws:
java.io.IOException