public final class PetrinetUtils
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static org.deckfour.xes.classification.XEventClass |
BACKLOOP |
static org.deckfour.xes.classification.XEventClass |
DUMMY |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.lang.String> |
calculateAlphabet(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
decodeTransitionLabels(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Map<java.lang.Character,java.lang.String> eventDecoding) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEnabledNonSilentTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking) |
static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getMarkingAfterFiring(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> markingBefore,
org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getMarkingAfterFiring(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> markingBefore,
org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire) |
static int |
getNumNonSilentTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static boolean |
isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking,
org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire) |
static boolean |
isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking,
org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire) |
static java.lang.String |
prettyPrintPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.lang.Object[] |
projectLogOnNetAlphabet(org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping |
transitionToEventClassMapperByLabel(org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping |
transitionToEventClassMapperByLabelWithBackloop(org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.graphbased.directed.petrinet.elements.Transition backloop) |
public static final org.deckfour.xes.classification.XEventClass BACKLOOP
public static final org.deckfour.xes.classification.XEventClass DUMMY
public static org.processmining.models.graphbased.directed.petrinet.Petrinet decodeTransitionLabels(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Map<java.lang.Character,java.lang.String> eventDecoding)
public static int getNumNonSilentTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.lang.String prettyPrintPetrinet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> getMarkingAfterFiring(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> markingBefore, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getMarkingAfterFiring(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> markingBefore, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)
public static boolean isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)
public static boolean isTransitionEnabled(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking, org.processmining.models.graphbased.directed.petrinet.elements.Transition toFire)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledNonSilentTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getEnabledTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
public static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping transitionToEventClassMapperByLabel(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping transitionToEventClassMapperByLabelWithBackloop(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition backloop)
public static java.util.Set<java.lang.String> calculateAlphabet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.lang.Object[] projectLogOnNetAlphabet(org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net)