Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CONFLICTPREFIX |
" conflicts on " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ALIGNMENT |
"Log Alignment" |
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
RESULT |
"Replay Result" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ALIGNMENTS |
"LogAlignments" |
public static final java.lang.String |
LOGS |
"Logs" |
public static final java.lang.String |
NETS |
"Nets" |
public static final java.lang.String |
RESULTS |
"ReplayResults" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CLUSTERS |
"Clusters" |
public static final java.lang.String |
FACTOR |
"Factor" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ALIGNMENTS |
"Alignments" |
public static final java.lang.String |
FITLEREDALIGNMENTS |
" Filtered Alignments" |
public static final java.lang.String |
NETS |
"Nets" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ALIGNMENT |
"Alignment" |
public static final java.lang.String |
ALIGNMENTS |
"Alignments" |
public static final java.lang.String |
LOG |
"Log" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
REPLAY |
"Replay" |
public static final java.lang.String |
REPLAYS |
"Replays" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOGS |
"Logs" |
public static final java.lang.String |
NETS |
"Nets" |
public static final java.lang.String |
REPLAYS |
"Replays" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a replay result from a given log alignment, given the accepting Petri net and log. The resulting replay result can, for example, be visualized and analyzed by exisiting plug-ins." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an array of log alignments from an array of replay results, given the arrays of accepting Petri nets and logs were used to obtain the array of replay results (the first replay result should be the result of replaying the first log on the first net, etc.)The first log alignment corresponds to the first replay result, etc.The resulting array can be exported and imported (note that a replay result cannot be exported or imported)." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a cost factor for the given activity cluster array. This cost factor will be such that, for any activity, the number of clusters that include this activity divides this factor. Note that this cost factor is needed because of the fact that a cost in the replayer should be a natural number, and that costs of an activity will be divided equally over all clusters that contain this activity. For this reason, all costs will first be multiplied by this factor, which allows them to be divided, and later on (when real numbers are used) they will be divided by this factor." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a filtered array of log alignments given an (unfiltered) array of log alignments and an array of accepting Petri nets. The first (unfiltered) log alignment should correspond to the first net, etc. The first filtered log alignment corresponds to the first (unfiltered) log alingment, where all steps that are not related to any transition in the net have been filtered out." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates a single log alignment form an array of log alignments, given the original log and the array of accepting Petri nets. For every trace in the log, projections will be be made onto every net in the array, and the corresponding alignments will be collected and merged into a single alignment. " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Creates an array of replay results given an array of logs and an array of accepting Petri nets. The first replay result corresponds to the replay of the first log on the first net, etc." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
FIRST |
2 |
public static final int |
HIGHESTCOST |
1 |
public static final int |
LOWESTCOST |
0 |
public static final int |
RANDOM |
3 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DECOMPOSEDSYNCMOVEDENOMINATOR |
"Decomposed Sync-Move Denominator" |
public static final java.lang.String |
DECOMPOSEDSYNCMOVEFITNESS |
"Decomposed Sync-Move Fitness" |
public static final java.lang.String |
DECOMPOSEDSYNCMOVENUMERATOR |
"Decomposed Sync-Move Numerator" |
public static final java.lang.String |
SYNCMOVEFITNESS |
"Sync-Move Fitness" |