| Modifier and Type | Method and Description |
|---|---|
PetrifyDotSG |
PetrifyExportDotSG.write(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem ts)
Write the given transition to a temp file and returns a handle to this
file.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object[] |
PetrifyImportDotSG.importFile(org.processmining.framework.plugin.PluginContext context,
PetrifyDotSG dotSG)
Imports a Petri net from a Petrify/Genet Petri net file.
|