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 and Description
PnmlExportNetToPNML()

Method Summary

Methods

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)

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

exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile

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