public class PnmlExportNet
extends java.lang.Object
| Constructor and Description |
|---|
PnmlExportNet() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
ConfigurableResetInhibitorNet resetInhibitorNet,
java.io.File file,
Pnml.PnmlType type) |
protected void |
exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
InhibitorNet inhibitorNet,
java.io.File file,
Pnml.PnmlType type) |
protected void |
exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
OpenNet openNet,
java.io.File file,
Pnml.PnmlType type) |
protected void |
exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file,
Pnml.PnmlType type) |
protected void |
exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetInhibitorNet resetInhibitorNet,
java.io.File file,
Pnml.PnmlType type) |
protected void |
exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetNet resetNet,
java.io.File file,
Pnml.PnmlType type) |
protected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
java.io.File file,
Pnml.PnmlType type)
throws java.io.IOException
java.io.IOExceptionprotected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
OpenNet openNet,
java.io.File file,
Pnml.PnmlType type)
throws java.io.IOException
java.io.IOExceptionprotected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetNet resetNet,
java.io.File file,
Pnml.PnmlType type)
throws java.io.IOException
java.io.IOExceptionprotected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
ConfigurableResetInhibitorNet resetInhibitorNet,
java.io.File file,
Pnml.PnmlType type)
throws java.io.IOException
java.io.IOExceptionprotected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
ResetInhibitorNet resetInhibitorNet,
java.io.File file,
Pnml.PnmlType type)
throws java.io.IOException
java.io.IOExceptionprotected void exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context,
InhibitorNet inhibitorNet,
java.io.File file,
Pnml.PnmlType type)
throws java.io.IOException
java.io.IOException