|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.analysis.conformance.StateSpaceExplorationMethod
public class StateSpaceExplorationMethod
Constructor Summary | |
---|---|
StateSpaceExplorationMethod(PetriNet inputPetriNet)
Creates the state space analysis method object. |
Method Summary | |
---|---|
AnalysisResult |
analyse(AnalysisConfiguration analysisOptions)
Starts the analysis. |
protected void |
checkForAlternativeDuplicateTasks(java.util.ArrayList<Transition> path,
Transition trans)
Helper method in order to detect non-alternative duplicate tasks and remove them from the set of duplicate tasks (such that in the end only alternative duplicate tasks remain in that list. |
protected void |
evaluatePath(java.util.ArrayList<Transition> path)
Builds up the log event relations for the given execution sequence. |
AnalysisMethodEnum |
getIdentifier()
Gets the belonging identifier. |
protected void |
tracePathsInStateSpace(java.util.ArrayList<Transition> currentPath,
StateSpace coverabilityGraph,
State currentState,
java.util.HashSet<ModelGraphEdge> passedEdges,
java.util.HashSet<ModelGraphEdge> blockedEdges)
Recursive helper method for tracing different execution sequences of tasks in the process model (state space). |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public StateSpaceExplorationMethod(PetriNet inputPetriNet)
inputPetriNet
- the PetriNet passed to the conformance check pluginMethod Detail |
---|
public AnalysisMethodEnum getIdentifier()
AnalysisMethodEnum
class by another nominal
value denominating this kind of analysis method.
getIdentifier
in interface AnalysisMethod
STATE_SPACE
public AnalysisResult analyse(AnalysisConfiguration analysisOptions)
AnalysisMethod
analyse
in interface AnalysisMethod
analysisOptions
- the given analysis configuration determining
which parts of the analysis have been chosen by the user (can be
null
if the full analysis should be carried out)
protected void tracePathsInStateSpace(java.util.ArrayList<Transition> currentPath, StateSpace coverabilityGraph, State currentState, java.util.HashSet<ModelGraphEdge> passedEdges, java.util.HashSet<ModelGraphEdge> blockedEdges) throws java.lang.Exception
currentPath
- the firing sequence traced so farcoverabilityGraph
- the state space to traversecurrentState
- the current state of the traversalpassedEdges
- contains the set of edges that were already followed
(in order to prevent infinite cycles)blockedEdges
- contains the set of edges that should not be followed
anymore because already were followed twice (in order to prevent infinite cycles)
if
- analysis was aborted by user while traversal
java.lang.Exception
protected void evaluatePath(java.util.ArrayList<Transition> path)
path
- the firing sequence derived from the process modelprotected void checkForAlternativeDuplicateTasks(java.util.ArrayList<Transition> path, Transition trans)
path
- the whole model execution pathtrans
- the transition currently being checked
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |