public class PetrinetHelper
extends java.lang.Object
Constructor and Description |
---|
PetrinetHelper() |
Modifier and Type | Method and Description |
---|---|
static boolean |
checkIfCyclic(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> subnet) |
static org.apache.commons.lang3.tuple.Triple<org.processmining.models.graphbased.directed.petrinet.Petrinet,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
clonePetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> outputs) |
static org.apache.commons.lang3.tuple.Triple<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
expandP(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> in,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> out,
org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> startPair,
ContractionLog log,
boolean limitTo11) |
static org.apache.commons.lang3.tuple.Triple<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
expandT(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> in,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> out,
org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> startPair,
ContractionLog log,
boolean limitTo11) |
static void |
filterDownstreamStreamsP(LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> iteratorPP,
LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> iteratorTT,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> netM,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputsM,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> outputsM,
org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
static void |
filterDownstreamStreamsT(LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> iteratorPP,
LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> iteratorTT,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> netM,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputsM,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> outputsM,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getImmediatePredecessors(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> start) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getImmediateSuccessors(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> start) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getInNodes(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode n) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getInPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getInTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getOutNodes(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode p) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getOutPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getOutTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getSuccSuccPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Place start) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getSuccSuccTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Transition start) |
static java.lang.Iterable<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
iterableDownstreamPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Place start) |
static java.lang.Iterable<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
iterableDownstreamTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Transition start) |
static java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
iterateDownstreamPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Place start) |
static java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
iterateDownstreamTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Transition start) |
static LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> |
iteratePairsOfDownstreamPlacesNaive(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Iterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> |
iteratePairsOfDownstreamPlacesTransitiveClosure(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
iteratePairsOfDownstreamTransitionsNaive(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Iterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
iteratePairsOfDownstreamTransitionsTransitiveClosure(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.lang.String |
toString(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static java.lang.String |
toString(org.apache.commons.lang3.tuple.Triple<org.processmining.models.graphbased.directed.petrinet.Petrinet,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> triple) |
public static org.apache.commons.lang3.tuple.Triple<org.processmining.models.graphbased.directed.petrinet.Petrinet,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> clonePetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputs, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> outputs)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getInPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getInTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getInNodes(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.PetrinetNode n)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getOutPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getOutTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getOutNodes(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.PetrinetNode p)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getImmediatePredecessors(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> start)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getImmediateSuccessors(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> start)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getSuccSuccPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Place start)
public static final java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getSuccSuccTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition start)
public static final java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Place> iterateDownstreamPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Place start)
public static final java.lang.Iterable<org.processmining.models.graphbased.directed.petrinet.elements.Place> iterableDownstreamPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Place start)
public static final LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> iteratePairsOfDownstreamPlacesNaive(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static final java.util.Iterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> iteratePairsOfDownstreamPlacesTransitiveClosure(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static final java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Transition> iterateDownstreamTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition start)
public static final java.lang.Iterable<org.processmining.models.graphbased.directed.petrinet.elements.Transition> iterableDownstreamTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition start)
public static final LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> iteratePairsOfDownstreamTransitionsNaive(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static final java.util.Iterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> iteratePairsOfDownstreamTransitionsTransitiveClosure(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static final boolean checkIfCyclic(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> subnet)
public static final org.apache.commons.lang3.tuple.Triple<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> expandP(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> in, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> out, org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> startPair, ContractionLog log, boolean limitTo11)
public static final org.apache.commons.lang3.tuple.Triple<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> expandT(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> in, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> out, org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> startPair, ContractionLog log, boolean limitTo11)
public static java.lang.String toString(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static java.lang.String toString(org.apache.commons.lang3.tuple.Triple<org.processmining.models.graphbased.directed.petrinet.Petrinet,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> triple)
public static void filterDownstreamStreamsP(LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> iteratorPP, LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> iteratorTT, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> netM, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputsM, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> outputsM, org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public static void filterDownstreamStreamsT(LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place>> iteratorPP, LazyIterator<org.apache.commons.lang3.tuple.Pair<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> iteratorTT, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> netM, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> inputsM, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> outputsM, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)