public class NavigateEmptyTraces
extends java.lang.Object
Constructor and Description |
---|
NavigateEmptyTraces() |
Modifier and Type | Method and Description |
---|---|
static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getModelMoves(ClusterNet cnet,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> traceMoveMultiset) |
static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getModelMovesUsingMarkingEq(ClusterNet cnet,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> traceMoveMultiset,
int numPairs) |
static void |
recurseMarkings(ClusterNet cnet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> execTrans,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> syncTran2) |
static ClusterNet |
reduceNetWithClusters(PetriNetMap pnmap) |
public static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getModelMoves(ClusterNet cnet, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> traceMoveMultiset)
public static ClusterNet reduceNetWithClusters(PetriNetMap pnmap)
public static void recurseMarkings(ClusterNet cnet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> execTrans, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> syncTran2)
public static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getModelMovesUsingMarkingEq(ClusterNet cnet, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Transition> traceMoveMultiset, int numPairs)