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.
|