public class PnmlExportNetToEPNML extends PnmlExportNet
Constructor and Description |
---|
PnmlExportNetToEPNML() |
Modifier and Type | Method and Description |
---|---|
void |
exportPetriNetToEPNMLFile(org.processmining.framework.plugin.PluginContext context,
OpenNet openNet,
java.io.File file) |
void |
exportPetriNetToEPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
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,
InhibitorNet inhibitorNet,
java.io.File file) |
void |
exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetInhibitorNet resetInhibitorNet,
java.io.File file) |
void |
exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetNet resetNet,
java.io.File file) |
exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLFile, exportPetriNetToPNMLOrEPNMLString
public void exportPetriNetToEPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file) throws java.io.IOException
java.io.IOException
public void exportPetriNetToEPNMLFile(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, ResetNet resetNet, 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
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, ResetInhibitorNet resetInhibitorNet, java.io.File file) throws java.io.IOException
java.io.IOException
public void exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, InhibitorNet inhibitorNet, java.io.File file) throws java.io.IOException
java.io.IOException