Uses of Class
org.processmining.framework.models.petrinet.StateSpace

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.