public class FCnetsUtilsL
extends java.lang.Object
Constructor and Description |
---|
FCnetsUtilsL() |
Modifier and Type | Method and Description |
---|---|
static boolean |
checkFCForLDPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tEnd) |
static boolean |
checkFCForLDTrans(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pStart) |
static boolean |
checkSelfLoopLD(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> startPlaces,
org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet) |
static java.util.Set<java.lang.Integer> |
getAllPostPlacesAfterTranSplit(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet,
InteractiveMatrixNetL imn) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPathToStart(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPathToStart(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
org.processmining.models.graphbased.directed.petrinet.elements.Place place,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> allPrevPlaces,
org.processmining.models.graphbased.directed.petrinet.elements.Place placeInitial) |
static java.util.Set<java.lang.Integer> |
getSameCols(java.lang.Integer rowId,
org.ejml.simple.SimpleMatrix placeLDAll,
java.lang.Integer val) |
static java.util.Set<java.lang.Integer> |
getSameRows(java.lang.Integer colId,
org.ejml.simple.SimpleMatrix placeLDAll,
java.lang.Integer val) |
static boolean |
isFCNet(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static boolean |
isPlaceSiphon(org.processmining.models.graphbased.directed.petrinet.Petrinet pn2,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> startTranSet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> endTranSet) |
static void |
recurseMarkings(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> executedTrans) |
public static boolean isPlaceSiphon(org.processmining.models.graphbased.directed.petrinet.Petrinet pn2, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> startTranSet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> endTranSet)
public static void recurseMarkings(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> executedTrans)
public static boolean checkFCForLDPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tEnd)
public static boolean checkFCForLDTrans(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pStart)
public static java.util.Set<java.lang.Integer> getSameRows(java.lang.Integer colId, org.ejml.simple.SimpleMatrix placeLDAll, java.lang.Integer val)
public static java.util.Set<java.lang.Integer> getSameCols(java.lang.Integer rowId, org.ejml.simple.SimpleMatrix placeLDAll, java.lang.Integer val)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPathToStart(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPathToStart(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, org.processmining.models.graphbased.directed.petrinet.elements.Place place, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> allPrevPlaces, org.processmining.models.graphbased.directed.petrinet.elements.Place placeInitial)
public static java.util.Set<java.lang.Integer> getAllPostPlacesAfterTranSplit(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet, InteractiveMatrixNetL imn)
public static boolean checkSelfLoopLD(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> startPlaces, org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet)
public static boolean isFCNet(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)