Package 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

Constructor Summary

Constructors

Constructor	Description
PnmlExportNetToPNML()

Method Summary

Modifier and Type	Method	Description
void	exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, OpenNet openNet, java.io.File file)
void	exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, ConfigurableResetInhibitorNet configurableNet, java.io.File file)
void	exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file)

Methods inherited from class org.processmining.plugins.pnml.exporting.PnmlExportNet

exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PnmlExportNetToPNML

public PnmlExportNetToPNML()

Method Detail

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