Constructor and Description |
---|
EvClassLogPetrinetConnection(java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClassifier eventClassifier,
TransEvClassMapping transEvClassMapping) |
PNRepResultAllRequiredParamConnection(java.lang.String label,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayAlgorithm selectedAlg,
IPNReplayParameter parameters,
PNRepResult repResult) |
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
AbstractMovePreferenceAwarePetrinetReplayer.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
IPNReplayParamProvider |
AbstractPetrinetReplayer.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
protected abstract D |
AbstractMovePreferenceAwarePetrinetReplayer.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
protected abstract D |
AbstractPetrinetReplayer.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
protected PILPDelegate |
PetrinetReplayerMovePreferenceAwareWithILP.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
protected DijkstraPDelegate |
PetrinetReplayerSSD.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
protected PILPDelegate |
PetrinetReplayerWithILP.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
protected PNaiveDelegate |
PetrinetReplayerWithoutILP.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
protected PDelegate |
PrefixBasedPetrinetReplayer.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping mapping,
int delta,
int threads) |
protected double |
PrefixBasedPetrinetReplayer.getMinBoundMoveModel(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
TransEvClassMapping mapping,
org.deckfour.xes.classification.XEventClasses classes,
double delta,
int threads,
nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,nl.tue.astar.impl.DijkstraTail> aStar) |
boolean |
AbstractMovePreferenceAwarePetrinetReplayer.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct
|
boolean |
AbstractPetrinetReplayer.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct
|
boolean |
PetrinetReplayerILPRestrictedMoveModel.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
boolean |
PetrinetReplayerMovePreferenceAwareWithILP.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct
|
boolean |
PetrinetReplayerNoILPRestrictedMoveModel.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
boolean |
PetrinetReplayerWithILP.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct
|
boolean |
AbstractMovePreferenceAwarePetrinetReplayer.isParameterReqCorrect(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct: parameter type is correct
and non empty (no null); all transitions are mapped to cost; all event
classes (including dummy event class, i.e.
|
boolean |
AbstractPetrinetReplayer.isParameterReqCorrect(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct: parameter type is correct
and non empty (no null); all transitions are mapped to cost; all event
classes (including dummy event class, i.e.
|
boolean |
AbstractMovePreferenceAwarePetrinetReplayer.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
boolean |
AbstractPetrinetReplayer.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
boolean |
PetrinetReplayerMovePreferenceAwareWithILP.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
boolean |
PetrinetReplayerWithILP.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
PNRepResult |
AbstractMovePreferenceAwarePetrinetReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
PNRepResult |
AbstractPetrinetReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters) |
PNRepResult |
PetrinetReplayerILPRestrictedMoveModel.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter param) |
PNRepResult |
PetrinetReplayerMovePreferenceAwareWithILP.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
PNRepResult |
PetrinetReplayerNoILPRestrictedMoveModel.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter param) |
PNRepResult |
PetrinetReplayerSSD.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters) |
PNRepResult |
AbstractMovePreferenceAwarePetrinetReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> preferredTransitions)
Replay log assuming GUI exist (progress bars, etc).
|
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractPDelegate.initialize(java.util.Collection<org.deckfour.xes.classification.XEventClass> eventClasses,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
org.processmining.models.semantics.petrinet.Marking... set) |
Constructor and Description |
---|
AbstractPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor without cost of move synchronous.
|
AbstractPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor with cost of move synchronous.
|
AbstractPILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
int threads,
boolean useInts,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor where estimate value can be changed to real (not integer)
|
AbstractPILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set)
Default constructor, assuming that integer is used to estimate cost
|
AbstractPILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
boolean useInts,
boolean useFastLowerBounds,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor where the cost for synchronous moves is set
|
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
DijkstraPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
PDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
PDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
PDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
PDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
boolean useInts,
boolean useFastLowerBounds,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
boolean useInts,
boolean useFastLowerBounds,
org.processmining.models.semantics.petrinet.Marking... set)
The main constructor that in the end is called by other constructors
|
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set)
Deprecated.
|
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
boolean useInts,
boolean useFastLowerBounds,
org.processmining.models.semantics.petrinet.Marking... set)
The following constructors accept mapping from sync moves to cost
|
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set)
The following constructors accept mapping from sync moves to cost
|
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
boolean useInts,
boolean useFastLowerBounds,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
boolean useInts,
boolean useFastLowerBounds,
org.processmining.models.semantics.petrinet.Marking... set) |
PILPDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
int threads,
org.processmining.models.semantics.petrinet.Marking... set) |
PNaiveDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
PNaiveDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
PNaiveDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
PNaiveDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking... set) |
Modifier and Type | Field and Description |
---|---|
protected TransEvClassMapping |
AbstractPNManifestFlattener.map |
Modifier and Type | Method and Description |
---|---|
TransEvClassMapping |
AbstractPNManifestFlattener.getMap() |
Modifier and Type | Method and Description |
---|---|
TransEvClassMapping |
EvClassLogPetrinetConnectionFactoryUI.getMap()
Generate the map between Transitions and Event according to the user
selection.
|
Modifier and Type | Method and Description |
---|---|
protected void |
PNLogReplayer.createConnections(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayAlgorithm selectedAlg,
IPNReplayParameter parameters,
PNRepResult replayRes) |
PNRepResult |
PNLogReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayAlgorithm selectedAlg,
IPNReplayParameter parameters) |
PNRepResult |
PNLogReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayAlgorithm selectedAlg,
IPNReplayParameter parameters) |
PNRepResult |
PNLogReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayAlgorithm selectedAlg,
IPNReplayParameter parameters) |
PNRepResult |
PNLogReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayAlgorithm selectedAlg,
IPNReplayParameter parameters) |
PNRepResult |
PNLogReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayAlgorithm selectedAlg,
IPNReplayParameter parameters) |
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
IPNReplayAlgorithm.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
protected java.util.Map<java.lang.Integer,org.deckfour.xes.classification.XEventClass> |
AbstractReplayerBasicFunctionProvider.getMappingEncTrans2EncEventClass(TransEvClassMapping mapping,
EncPNWSetFinalMarkings encodedPN)
Get mapping from encoded transition to event class
|
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.util.Set<java.lang.Integer>> |
AbstractReplayerBasicFunctionProvider.getMappingEventClass2EncTrans(TransEvClassMapping mapping,
EncPNWSetFinalMarkings encPN)
Get mapping from event class to encoded transition
|
boolean |
IPNReplayAlgorithm.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct
|
boolean |
IPNReplayAlgorithm.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct (e.g.
|
PNRepResult |
IPNReplayAlgorithm.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Replay log assuming GUI exist (progress bars, etc)
|
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
AbstractBehavAppAlg.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
boolean |
AbstractBehavAppAlg.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct: no null; numStates is non
negative; all costs are non negative.
|
boolean |
AbstractBehavAppAlg.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
PNRepResult |
AbstractBehavAppAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters)
Main method to replay log
|
Constructor and Description |
---|
BehavAppParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
AbstractCostBasedCompleteAlg.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
boolean |
AbstractCostBasedCompleteAlg.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct: parameter type is correct
and non empty (no null); all transitions are mapped to cost; all event
classes (including dummy event class, i.e.
|
boolean |
AbstractCostBasedCompleteMarkEqAlg.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct: net should be Petrinet
(marking equation does not work on reset/inihibitor nets);
|
boolean |
AbstractCostBasedCompleteRPSTAlg.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter)
Return true if all replay inputs are correct: net should be Petrinet
(marking equation does not work on reset/inhibitor nets);
|
boolean |
AbstractCostBasedCompleteAlg.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
boolean |
AbstractCostBasedCompleteMarkEqAlg.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
boolean |
AbstractCostBasedCompleteRPSTAlg.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Return true if input of replay without parameters are correct
|
PNRepResult |
AbstractCostBasedCompleteMarkEqAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters) |
PNRepResult |
AbstractCostBasedCompleteNaiveAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
PNRepResult |
AbstractCostBasedCompleteRPSTAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters) |
Constructor and Description |
---|
CostBasedCompleteParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
CostBasedPrefixAlg.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
provider of parameters for this algorithm
|
boolean |
CostBasedPrefixAlg.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
boolean |
CostBasedPrefixAlg.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
PNRepResult |
CostBasedPrefixAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
PetrinetSwapReplayer.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
construct GUI in which the parameter for this algorithm can be obtained
|
protected static void |
SwapPetrinetGraphConstructor.copyAll(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet,
TransEvClassMapping origMapping,
CostBasedSwapParam param,
TransEvClassMapping finalMapping,
CostBasedCompleteManifestParam finalParam,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2Orig,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> replacementTrans,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> swapTrans,
org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet finalNet)
Copy everything except arcs, because reset/inhibitor arcs can only be
added for reset/inhibitor net
|
static org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet |
SwapPetrinetGraphConstructor.createSwapPetrinet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet,
TransEvClassMapping origMapping,
CostBasedSwapParam param,
TransEvClassMapping finalMapping,
CostBasedCompleteManifestParam finalParam,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2Orig,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> replacementTrans,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.framework.util.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> swapTrans) |
boolean |
PetrinetSwapReplayer.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
PNRepResult |
PetrinetSwapReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameters) |
Constructor and Description |
---|
CostBasedCompleteSwapParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
Modifier and Type | Method and Description |
---|---|
IPNReplayParamProvider |
SyncProductAlg.constructParamProvider(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
boolean |
SyncProductAlg.isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
boolean |
SyncProductAlg.isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
PNRepResult |
SyncProductAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
IPNReplayParameter parameter) |
Modifier and Type | Method and Description |
---|---|
PNMatchInstancesRepResult |
PNLogMatchInstancesReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
IPNMatchInstancesLogReplayAlgorithm selectedAlg,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
PNLogMatchInstancesReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
IPNMatchInstancesLogReplayAlgorithm selectedAlg,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
PNLogMatchInstancesReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
IPNMatchInstancesLogReplayAlgorithm selectedAlg,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
PNLogMatchInstancesReplayer.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
IPNMatchInstancesLogReplayAlgorithm selectedAlg,
java.lang.Object[] parameters) |
Modifier and Type | Method and Description |
---|---|
PNMatchInstancesRepResult |
IPNMatchInstancesLogReplayAlgorithm.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters)
Method to replay a whole log on a model and return all best matching
instance between each trace and the model
Assumption: all markings are given, no need to check for connection to
the original net
|
Modifier and Type | Method and Description |
---|---|
protected PDelegate |
AllOptAlignmentsGraphAlg.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
protected PDelegate |
AllOptAlignmentsGraphSamplingAlg.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
protected AllOptAlignmentsTreeDelegate |
AllOptAlignmentsTreeAlg.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
protected PDelegate |
AllPrefixOptAlignmentsGraphAlg.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
protected PDelegate |
AllPrefixOptAlignmentsGraphGuessMarkingAlg.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
protected AllOptAlignmentsTreeDelegate |
AllPrefixOptAlignmentsTreeAlg.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingsAreFinal,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
protected PILPDelegate |
AllOptAlignmentsGraphILPAlg.getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
protected int |
NBestAlignmentsTreeAlg.getMinBoundMoveModel(nl.tue.astar.AStarThread.Canceller canceller,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
TransEvClassMapping mapping,
org.deckfour.xes.classification.XEventClasses classes,
int delta,
int threads,
nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,PNaiveTail> aStar)
get cost if an empty trace is replayed on a model
|
void |
ParamSettingExpressAlg.populateCostPanel(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
protected void |
ParamSettingExpressAlg.populateMoveOnLogPanel(org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping)
Generate move on log panel
|
PNMatchInstancesRepResult |
AllOptAlignmentsGraphAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
AllOptAlignmentsGraphILPAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
AllOptAlignmentsGraphSamplingAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
AllOptAlignmentsTreeAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
AllPrefixOptAlignmentsGraphAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
BestWithFitnessBoundAlignmentsTreeAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
BestWithFitnessBoundPerTraceAlignmentTreeAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
NBestAlignmentsTreeAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
NBestOptAlignmentsGraphSamplingAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters) |
PNMatchInstancesRepResult |
NBestPrefixAlignmentsGraphGuessMarkingAlg.replayLog(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping,
java.lang.Object[] parameters)
This method needs to be overridden, because n best alignments do not
necessarily be optimal alignments.
|
Constructor and Description |
---|
AllOptAlignmentsTreeDelegate(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
AllOptAlignmentsTreeDelegate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
AllOptAlignmentsTreeDelegate(org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
AllOptAlignmentsTreeDelegate(org.processmining.models.graphbased.directed.petrinet.ResetNet net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
boolean allMarkingAreFinal,
org.processmining.models.semantics.petrinet.Marking[] set) |
Modifier and Type | Method and Description |
---|---|
protected IPNReplayAlgorithm[] |
PNAlgorithmStep.getAvailabelAlgorithms(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
Constructor and Description |
---|
PNAlgorithmStep(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
TransEvClassMapping mapping) |
Modifier and Type | Method and Description |
---|---|
TransEvClassMapping |
TransEvClassMappingParameter.getMapping() |
Modifier and Type | Method and Description |
---|---|
void |
TransEvClassMappingParameter.setMapping(TransEvClassMapping mapping) |
Modifier and Type | Method and Description |
---|---|
TransEvClassMapping |
TransEvClassMappingUtils.getMapping(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.deckfour.xes.classification.XEventClass> activities,
org.deckfour.xes.classification.XEventClassifier classifier) |