Constructor and Description |
---|
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 |
---|---|
protected int |
AbstractPetrinetReplayer.getMinBoundMoveModel(IPNReplayParameter parameters,
int delta,
nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm<PHead,T> aStar,
D delegateD)
get cost if an empty trace is replayed on a model
|
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.
|
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 | Class and Description |
---|---|
class |
CostBasedCompleteManifestParam |
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 | Class and Description |
---|---|
class |
AbstractDefaultPNReplayParam |
Modifier and Type | Method and Description |
---|---|
IPNReplayParameter |
IPNReplayParamProvider.constructReplayParameter(javax.swing.JComponent ui)
Create replay parameter from whatever information obtained
|
Modifier and Type | Method and Description |
---|---|
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
|
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 | Class and Description |
---|---|
class |
BehavAppParam |
Modifier and Type | Method and Description |
---|---|
IPNReplayParameter |
BehavAppParamProvider.constructReplayParameter(javax.swing.JComponent ui) |
Modifier and Type | Method and Description |
---|---|
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.
|
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
|
Modifier and Type | Class and Description |
---|---|
class |
CostBasedCompleteParam |
Modifier and Type | Method and Description |
---|---|
IPNReplayParameter |
CostBasedCompleteParamProvider.constructReplayParameter(javax.swing.JComponent ui) |
Modifier and Type | Method and Description |
---|---|
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);
|
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) |
Modifier and Type | Class and Description |
---|---|
class |
CostBasedPrefixParam |
Modifier and Type | Method and Description |
---|---|
IPNReplayParameter |
CostBasedPrefixParamProvider.constructReplayParameter(javax.swing.JComponent ui) |
Modifier and Type | Method and Description |
---|---|
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) |
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 | Class and Description |
---|---|
class |
CostBasedSwapParam |
Modifier and Type | Method and Description |
---|---|
IPNReplayParameter |
CostBasedCompleteSwapParamProvider.constructReplayParameter(javax.swing.JComponent ui) |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Class and Description |
---|---|
class |
SyncProductParam |
Modifier and Type | Method and Description |
---|---|
IPNReplayParameter |
SyncProductParamProvider.constructReplayParameter(javax.swing.JComponent ui) |
Modifier and Type | Method and Description |
---|---|
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) |
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) |