|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StateSpace | |
---|---|
org.processmining.analysis.conformance | Contains classes related to the Conformance Analysis Plugin. |
org.processmining.framework.models.petrinet.algorithms |
Uses of StateSpace in org.processmining.analysis.conformance |
---|
Methods in org.processmining.analysis.conformance with parameters of type StateSpace | |
---|---|
protected void |
StateSpaceExplorationMethod.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). |
Uses of StateSpace in org.processmining.framework.models.petrinet.algorithms |
---|
Methods in org.processmining.framework.models.petrinet.algorithms that return StateSpace | |
---|---|
static StateSpace |
CoverabilityGraphBuilder.build(PetriNet net)
Constructs the full coverability graph for a given marked net. |
static StateSpace |
ReachabilityGraphBuilder.build(PetriNet net)
|
static StateSpace |
CoverabilityGraphBuilder.build(PetriNet net,
int depth)
Constructs the coverability graph with a potentially limited depth for a given marked net. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |