public class NetUtilities
extends java.lang.Object
Constructor and Description |
---|
NetUtilities() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
clone(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
findSilentNodes(org.processmining.models.graphbased.directed.petrinet.elements.Place p,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getEndPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getStartPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> |
getTransition2EventMap(org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.classification.XEventClassifier classifier) |
static java.util.Set<org.processmining.models.semantics.petrinet.Marking> |
guessFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.models.semantics.petrinet.Marking |
guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static void |
initPNToken(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Map |
mapNet(org.processmining.models.graphbased.directed.petrinet.Petrinet fnet,
org.processmining.models.graphbased.directed.petrinet.Petrinet tnet) |
public static org.processmining.models.semantics.petrinet.Marking guessInitialMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Set<org.processmining.models.semantics.petrinet.Marking> guessFinalMarking(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> getStartPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> getEndPlace(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> findSilentNodes(org.processmining.models.graphbased.directed.petrinet.elements.Place p, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static org.processmining.models.graphbased.directed.petrinet.Petrinet clone(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> getTransition2EventMap(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.deckfour.xes.classification.XEventClassifier classifier)
public static java.util.Map mapNet(org.processmining.models.graphbased.directed.petrinet.Petrinet fnet, org.processmining.models.graphbased.directed.petrinet.Petrinet tnet)
public static void initPNToken(org.processmining.models.graphbased.directed.petrinet.Petrinet net)