public class PrimeMiner
extends java.lang.Object
Constructor and Description |
---|
PrimeMiner() |
Modifier and Type | Method and Description |
---|---|
static void |
addInitialAndFinalEvents(org.processmining.primeminer.plugins.PrimeEventStructure pes) |
static void |
addStatesToPES(org.processmining.primeminer.plugins.PrimeEventStructure pes) |
static boolean |
alleNachfolgerBesucht(org.processmining.primeminer.plugins.Event event) |
static boolean |
alleVorgängerBesucht(org.processmining.primeminer.plugins.Event event) |
static java.lang.String |
arrayToString(int[] array) |
static java.util.ArrayList<org.processmining.primeminer.plugins.Region> |
buildInitialRegions(java.util.ArrayList<org.processmining.primeminer.plugins.Region> sw,
java.util.ArrayList<org.processmining.primeminer.plugins.Region> ex) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
buildPetriNet(org.processmining.framework.plugin.PluginContext context) |
static java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> |
calcConcurrentAlpha(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language) |
static java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> |
calcConcurrentLifecycle(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language) |
static java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> |
calcConcurrentNone(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language) |
static java.util.ArrayList<java.util.ArrayList<java.lang.String>> |
calcLanguage(org.deckfour.xes.model.XLog log) |
static java.util.ArrayList<java.lang.String> |
calcOracle(org.deckfour.xes.model.XLog log) |
static java.util.ArrayList<org.processmining.primeminer.plugins.Hasse> |
calcPartialLanguage(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language,
java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> concurrent) |
static java.util.ArrayList<org.processmining.primeminer.plugins.Region> |
calculateExcitationRegions(org.processmining.primeminer.plugins.PrimeEventStructure pes) |
static java.util.ArrayList<org.processmining.primeminer.plugins.Region> |
calculateSwitchingRegions(org.processmining.primeminer.plugins.PrimeEventStructure pes) |
static java.lang.Object |
copy(java.lang.Object orig) |
static void |
deleteSubsets(java.util.ArrayList<org.processmining.primeminer.plugins.Region> regions) |
static boolean |
eventsAreUnrelated(java.lang.String eventA,
java.lang.String eventB) |
static void |
fire(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.semantics.petrinet.Marking m,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static org.processmining.primeminer.plugins.PrimeEventStructure |
generatePES(org.deckfour.xes.model.XLog log) |
static java.util.ArrayList<org.processmining.primeminer.plugins.Event> |
getAllEventsWithLabel(org.processmining.primeminer.plugins.PrimeEventStructure pes,
java.lang.String label) |
static java.util.ArrayList<java.lang.String> |
getAllLabels(org.processmining.primeminer.plugins.PrimeEventStructure pes) |
static org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet,
java.lang.String label) |
static boolean |
isEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
org.processmining.models.semantics.petrinet.Marking m,
org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
static boolean |
isEqual(org.processmining.primeminer.plugins.Region region1,
org.processmining.primeminer.plugins.Region region2) |
static boolean |
isSubset(org.processmining.primeminer.plugins.Region subsetRegion,
org.processmining.primeminer.plugins.Region supersetRegion) |
static java.lang.Object[] |
istInMengeVonNachfolgern(java.util.ArrayList<org.processmining.primeminer.plugins.Event> actualEvents,
java.lang.String newEventName) |
static org.processmining.primeminer.plugins.PrimeEventStructure |
loadPES(org.deckfour.xes.model.XLog log) |
static org.processmining.primeminer.plugins.PrimeEventStructure |
minePES(org.deckfour.xes.model.XLog log) |
static boolean |
nochKeinNextStateSelected(org.processmining.primeminer.plugins.Event e,
int coSet,
org.processmining.primeminer.plugins.Region r) |
static boolean |
nochKeinPreviousStateSelected(org.processmining.primeminer.plugins.Event e,
int coSet,
org.processmining.primeminer.plugins.Region r) |
static java.util.ArrayList<org.processmining.primeminer.plugins.Event> |
passendeMengeFinden(java.util.ArrayList<org.processmining.primeminer.plugins.Event> menge,
java.lang.String eventName) |
static org.processmining.acceptingpetrinet.models.AcceptingPetriNetArray |
runPrimeMiner(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log) |
static boolean |
schnittIstNichtLeer(java.util.ArrayList<java.lang.Integer> liste1,
java.util.ArrayList<java.lang.Integer> liste2) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
synthesize(org.processmining.framework.plugin.PluginContext context,
org.processmining.primeminer.plugins.PrimeEventStructure pes) |
static boolean |
verbindeMengeVonEventsMitEvent(java.util.ArrayList<org.processmining.primeminer.plugins.Event> events,
org.processmining.primeminer.plugins.Event newEvent) |
public static org.processmining.acceptingpetrinet.models.AcceptingPetriNetArray runPrimeMiner(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log)
public static boolean isEnabled(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.semantics.petrinet.Marking m, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static void fire(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.semantics.petrinet.Marking m, org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public static java.lang.String arrayToString(int[] array)
public static boolean isSubset(org.processmining.primeminer.plugins.Region subsetRegion, org.processmining.primeminer.plugins.Region supersetRegion)
public static boolean isEqual(org.processmining.primeminer.plugins.Region region1, org.processmining.primeminer.plugins.Region region2)
public static org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet, java.lang.String label)
public static java.util.ArrayList<org.processmining.primeminer.plugins.Region> buildInitialRegions(java.util.ArrayList<org.processmining.primeminer.plugins.Region> sw, java.util.ArrayList<org.processmining.primeminer.plugins.Region> ex)
public static void deleteSubsets(java.util.ArrayList<org.processmining.primeminer.plugins.Region> regions)
public static java.util.ArrayList<org.processmining.primeminer.plugins.Region> calculateSwitchingRegions(org.processmining.primeminer.plugins.PrimeEventStructure pes)
public static boolean schnittIstNichtLeer(java.util.ArrayList<java.lang.Integer> liste1, java.util.ArrayList<java.lang.Integer> liste2)
public static java.util.ArrayList<org.processmining.primeminer.plugins.Region> calculateExcitationRegions(org.processmining.primeminer.plugins.PrimeEventStructure pes)
public static void addStatesToPES(org.processmining.primeminer.plugins.PrimeEventStructure pes)
public static java.util.ArrayList<java.lang.String> getAllLabels(org.processmining.primeminer.plugins.PrimeEventStructure pes)
public static java.util.ArrayList<org.processmining.primeminer.plugins.Event> getAllEventsWithLabel(org.processmining.primeminer.plugins.PrimeEventStructure pes, java.lang.String label)
public static void addInitialAndFinalEvents(org.processmining.primeminer.plugins.PrimeEventStructure pes)
public static org.processmining.models.graphbased.directed.petrinet.Petrinet buildPetriNet(org.processmining.framework.plugin.PluginContext context)
public static java.util.ArrayList<java.lang.String> calcOracle(org.deckfour.xes.model.XLog log)
public static org.processmining.primeminer.plugins.PrimeEventStructure loadPES(org.deckfour.xes.model.XLog log)
public static java.util.ArrayList<java.util.ArrayList<java.lang.String>> calcLanguage(org.deckfour.xes.model.XLog log)
public static java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> calcConcurrentAlpha(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language)
public static java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> calcConcurrentNone(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language)
public static java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> calcConcurrentLifecycle(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language)
public static java.util.ArrayList<org.processmining.primeminer.plugins.Hasse> calcPartialLanguage(java.util.ArrayList<java.util.ArrayList<java.lang.String>> language, java.util.HashMap<java.lang.String,java.util.ArrayList<java.lang.String>> concurrent)
public static org.processmining.models.graphbased.directed.petrinet.Petrinet synthesize(org.processmining.framework.plugin.PluginContext context, org.processmining.primeminer.plugins.PrimeEventStructure pes)
public static org.processmining.primeminer.plugins.PrimeEventStructure generatePES(org.deckfour.xes.model.XLog log)
public static org.processmining.primeminer.plugins.PrimeEventStructure minePES(org.deckfour.xes.model.XLog log)
public static java.lang.Object copy(java.lang.Object orig)
public static boolean eventsAreUnrelated(java.lang.String eventA, java.lang.String eventB)
public static java.util.ArrayList<org.processmining.primeminer.plugins.Event> passendeMengeFinden(java.util.ArrayList<org.processmining.primeminer.plugins.Event> menge, java.lang.String eventName)
public static boolean alleNachfolgerBesucht(org.processmining.primeminer.plugins.Event event)
public static boolean alleVorgängerBesucht(org.processmining.primeminer.plugins.Event event)
public static java.lang.Object[] istInMengeVonNachfolgern(java.util.ArrayList<org.processmining.primeminer.plugins.Event> actualEvents, java.lang.String newEventName)
public static boolean verbindeMengeVonEventsMitEvent(java.util.ArrayList<org.processmining.primeminer.plugins.Event> events, org.processmining.primeminer.plugins.Event newEvent)
public static boolean nochKeinNextStateSelected(org.processmining.primeminer.plugins.Event e, int coSet, org.processmining.primeminer.plugins.Region r)
public static boolean nochKeinPreviousStateSelected(org.processmining.primeminer.plugins.Event e, int coSet, org.processmining.primeminer.plugins.Region r)