Home › ProM 6 › - Development

It looks like you're new here. If you want to get involved, click one of these buttons!

- 1.3K All Categories
- 43 Announcements / News
- 193 Process Mining
- 6 - BPI Challenge 2020
- 9 - BPI Challenge 2019
- 24 - BPI Challenge 2018
- 27 - BPI Challenge 2017
- 8 - BPI Challenge 2016
- 53 Research
- 820 ProM 6
- 319 - Usage
- 235 - Development
- 6 RapidProM
- 1 - Usage
- 5 - Development
- 51 ProM5
- 19 - Usage
- 166 Event Logs
- 29 - ProMimport
- 73 - XESame

To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

rbigui
Posts: **19**

This ordering is for detecting prime invisible tasks [paper: Mining Process Models with Prime Invisible Tasks]

Case 1: If y is equal to x, t is of type short skip

Case 2: If y is reachable from x, t is of type long skip

Case 3: If a is equal to b, t is of short redo type

Case 3: If a is equal to b, t is of short redo type

Case 4: If a is reachable from b, t is of long redo type

The code for Case 1 is as follows:

public static strictfp <E> double[][] constructBooleanShortSKIPIvTAbstractionMatrix(CausalAbstraction<E> ca,

DirectlyFollowsAbstraction<E> dfa, ParallelAbstraction<E> pa) {

double[][] shortskip = new double[ca.getMatrix().length][ca.getMatrix().length];

for (int a = 0; a < ca.getEventClasses().length; a++) {

for (int b = 0; b < ca.getEventClasses().length; b++) {

if (ca.holds(a, b)) {

for (int x : ca.getAllIndicesGeqForRow(a)) {

for (int y : ca.getAllIndicesGeqForColumn(b)) {

if (x == y && !dfa.holds(y, x) && !pa.holds(x, b) && !pa.holds(a, y)) {

shortskip[a][b] = DEFAULT_THRESHOLD_BOOLEAN;

} } } } } }

return shortskip;

Can anyone help me to code Case 2? I don't know how to program y is reachable from x.

Please, I extremely need your help. I'm not a programmer but I have to programme a part of a paper that I am working on and the definition above is included in the framework.

Thank you