public final class AcceptingPetrinetUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.util.List<java.lang.String>> |
calculateLanguage(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
int maxLoop,
boolean onlyAccepting) |
static java.util.Set<java.lang.String> |
calculateStartingActivities(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
int maxLoop) |
static org.processmining.acceptingpetrinet.models.AcceptingPetriNet |
decodeTransitionLabels(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
java.util.Map<java.lang.Character,java.lang.String> eventDecoding) |
static java.lang.String |
prettyPrintLanguage(java.util.Set<java.util.List<java.lang.String>> language) |
public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet decodeTransitionLabels(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, java.util.Map<java.lang.Character,java.lang.String> eventDecoding)
public static java.util.Set<java.util.List<java.lang.String>> calculateLanguage(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, int maxLoop, boolean onlyAccepting)
public static java.util.Set<java.lang.String> calculateStartingActivities(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, int maxLoop)
public static java.lang.String prettyPrintLanguage(java.util.Set<java.util.List<java.lang.String>> language)