org.processmining.mixedparadigm.algorithms.replayer

Class PetrinetReplayerWithAutomata

java.lang.Object

org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

org.processmining.mixedparadigm.algorithms.replayer.PetrinetReplayerWithAutomata

All Implemented Interfaces:

org.processmining.plugins.petrinet.replayer.algorithms.IPNPartialOrderAwareReplayAlgorithm, org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

public class PetrinetReplayerWithAutomata
extends org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer.Representative, org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer.Result

Field Summary

Fields inherited from class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

classifier, finalMarkings, initMarking, mapEvClass2Cost, mapSync2Cost, mapTrans2Cost, maxNumOfStates, queuedStates, traversedArcs, usePartialOrderEvents, visitedStates

Constructor Summary

Constructors

Constructor and Description
PetrinetReplayerWithAutomata()

Method Summary

Modifier and Type	Method and Description
protected PAutomataHead	constructHead(PILPDelegateAutomata delegate, org.processmining.models.semantics.petrinet.Marking m, org.deckfour.xes.model.XTrace xtrace)
MPReplayParameterProvider	constructParamProvider(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping) construct GUI in which the parameter for this algorithm can be obtained
protected PILPDelegateAutomata	getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, int delta, int threads)
java.lang.String	getHTMLInfo() HTML explanation of the algorithm
protected void	importParameters(org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.CostBasedCompleteParam parameters) Assign values of private attributes as given in parameters
boolean	isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping, org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameter) Return true if all replay inputs are correct
boolean	isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping) Return true if input of replay without parameters are correct
protected MPSyncReplayResult	recordToResult(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> d, org.deckfour.xes.model.XTrace trace, nl.tue.astar.Trace filteredTrace, org.processmining.plugins.astar.petrinet.impl.PRecord r, int traceIndex, int stateCount, boolean isReliable, long milliseconds, int queuedStates, int traversedArcs, int minCostMoveModel, gnu.trove.list.TIntList unUsedIndices, gnu.trove.map.TIntIntMap trace2orgTrace)
java.lang.String	toString() The name of the algorithm

Methods inherited from class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

addReplayResults, compareEventClassList, getLinearTrace, getMinBoundMoveModel, getPartialOrderBuilder, isParameterReqCorrect, replayLog, setPartialOrderBuilder

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PetrinetReplayerWithAutomata

public PetrinetReplayerWithAutomata()

Method Detail

isReqWOParameterSatisfied

public boolean isReqWOParameterSatisfied(org.processmining.framework.plugin.PluginContext context,
                                         org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                         org.deckfour.xes.model.XLog log,
                                         org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)

Return true if input of replay without parameters are correct

Specified by:

isReqWOParameterSatisfied in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

Overrides:

isReqWOParameterSatisfied in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

Returns:

isAllReqSatisfied

public boolean isAllReqSatisfied(org.processmining.framework.plugin.PluginContext context,
                                 org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                 org.deckfour.xes.model.XLog log,
                                 org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
                                 org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayParameter parameter)

Return true if all replay inputs are correct

Specified by:

isAllReqSatisfied in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

Overrides:

isAllReqSatisfied in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

Returns:

toString

public java.lang.String toString()

Description copied from interface: org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

The name of the algorithm

Specified by:

toString in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

Overrides:

toString in class java.lang.Object

getDelegate

protected PILPDelegateAutomata getDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                           org.deckfour.xes.model.XLog log,
                                           org.deckfour.xes.classification.XEventClasses classes,
                                           org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
                                           int delta,
                                           int threads)

Specified by:

getDelegate in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

constructHead

protected PAutomataHead constructHead(PILPDelegateAutomata delegate,
                                      org.processmining.models.semantics.petrinet.Marking m,
                                      org.deckfour.xes.model.XTrace xtrace)

Overrides:

constructHead in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

recordToResult

protected MPSyncReplayResult recordToResult(org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<?> d,
                                            org.deckfour.xes.model.XTrace trace,
                                            nl.tue.astar.Trace filteredTrace,
                                            org.processmining.plugins.astar.petrinet.impl.PRecord r,
                                            int traceIndex,
                                            int stateCount,
                                            boolean isReliable,
                                            long milliseconds,
                                            int queuedStates,
                                            int traversedArcs,
                                            int minCostMoveModel,
                                            gnu.trove.list.TIntList unUsedIndices,
                                            gnu.trove.map.TIntIntMap trace2orgTrace)

Overrides:

recordToResult in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

getHTMLInfo

public java.lang.String getHTMLInfo()

Description copied from interface: org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

HTML explanation of the algorithm

Specified by:

getHTMLInfo in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

Overrides:

getHTMLInfo in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

Returns:

constructParamProvider

public MPReplayParameterProvider constructParamProvider(org.processmining.framework.plugin.PluginContext context,
                                                        org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                                        org.deckfour.xes.model.XLog log,
                                                        org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping)

Description copied from class: org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

construct GUI in which the parameter for this algorithm can be obtained

Specified by:

constructParamProvider in interface org.processmining.plugins.petrinet.replayer.algorithms.IPNReplayAlgorithm

Overrides:

constructParamProvider in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>

Returns:

importParameters

protected void importParameters(org.processmining.plugins.petrinet.replayer.algorithms.costbasedcomplete.CostBasedCompleteParam parameters)

Description copied from class: org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer

Assign values of private attributes as given in parameters

Overrides:

importParameters in class org.processmining.plugins.astar.petrinet.AbstractPetrinetReplayer<PAutomataTail,PILPDelegateAutomata>