public class BPM2016_TSE
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
addToResult(java.lang.StringBuffer result,
java.util.Map<QualityCriterion,java.lang.Object> qualityRepaired) |
static java.lang.String |
evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog,
java.lang.String modelName,
org.deckfour.xes.model.XLog resultLog,
org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet,
org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet,
org.processmining.processtree.ProcessTree bestTree,
org.processmining.processtree.ProcessTree inputTree,
java.lang.Double trustInModel,
java.lang.Double trustInLog) |
static java.lang.String |
evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog,
java.lang.String modelName,
org.deckfour.xes.model.XLog resultLog,
org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet,
org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet,
org.processmining.processtree.ProcessTree bestTree,
org.processmining.processtree.ProcessTree inputTree,
java.lang.Double trustInModel,
java.lang.Double trustInLog,
javax.swing.JComponent debugScreen) |
static java.lang.String |
getHeader() |
static org.deckfour.xes.model.XLog |
loadLog(java.io.File file)
Opens a Log from a given file.
|
static void |
main(java.lang.String[] args) |
protected static void |
runMe(java.lang.String fileName) |
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception
protected static void runMe(java.lang.String fileName) throws java.lang.Exception
java.lang.Exception
public static java.lang.String evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog, java.lang.String modelName, org.deckfour.xes.model.XLog resultLog, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet, org.processmining.processtree.ProcessTree bestTree, org.processmining.processtree.ProcessTree inputTree, java.lang.Double trustInModel, java.lang.Double trustInLog)
public static java.lang.String evaluateQualityCriteria(org.deckfour.xes.model.XLog inputLog, java.lang.String modelName, org.deckfour.xes.model.XLog resultLog, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings petrinet, org.processmining.ptconversions.pn.ProcessTree2Petrinet.PetrinetWithMarkings inputPetrinet, org.processmining.processtree.ProcessTree bestTree, org.processmining.processtree.ProcessTree inputTree, java.lang.Double trustInModel, java.lang.Double trustInLog, javax.swing.JComponent debugScreen)
inputLog
- XLog
the L in the papermodelName
- resultLog
- petrinet
- inputPetrinet
- bestTree
- inputTree
- ProcessTree
the M in the papertrustInModel
- trustInLog
- public static void addToResult(java.lang.StringBuffer result, java.util.Map<QualityCriterion,java.lang.Object> qualityRepaired)
public static java.lang.String getHeader()
public static org.deckfour.xes.model.XLog loadLog(java.io.File file) throws java.lang.Exception
file
- File
containing the log.XLog
java.lang.Exception