java.lang.Object[] |
ProcessTree2Petrinet.convert(org.processmining.framework.plugin.PluginContext context,
org.processmining.processtree.ProcessTree tree) |
static ProcessTree2Petrinet.PetrinetWithMarkings |
ProcessTree2Petrinet.convert(org.processmining.processtree.ProcessTree tree) |
static ProcessTree2Petrinet.PetrinetWithMarkings |
ProcessTree2Petrinet.convert(org.processmining.processtree.ProcessTree tree,
boolean keepStructure) |
java.lang.Object[] |
ProcessTree2Petrinet.convertKeepStructure(org.processmining.framework.plugin.PluginContext context,
org.processmining.processtree.ProcessTree tree) |
static ProcessTree2Petrinet.PetrinetWithMarkings |
ProcessTree2Petrinet.convertKeepStructure(org.processmining.processtree.ProcessTree tree) |