Home › ProM 6 › - Development

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

- 1.5K All Categories
- 45 Announcements / News
- 214 Process Mining
- 6 - BPI Challenge 2020
- 9 - BPI Challenge 2019
- 24 - BPI Challenge 2018
- 27 - BPI Challenge 2017
- 8 - BPI Challenge 2016
- 64 Research
- 956 ProM 6
- 369 - Usage
- 282 - Development
- 8 RapidProM
- 1 - Usage
- 6 - Development
- 54 ProM5
- 19 - Usage
- 185 Event Logs
- 30 - ProMimport
- 75 - XESame

syjing628
Posts: **37**

Dear,

Recently, I performed conformance checking on a CNet.

I construct the CNet based on N1 in page 248 of the book "Process Mining: Data Science in Action".

After that, I invoke CNetReplayerWithILP and replay a log on the CNet. The log is from page 247.

However, the fitness is only 0.099. Can anybody tell me where is wrong?

I attach the CNet as well as the mapping of numbers and symbols.

Regards.

----------------------------------------CNet----------------------------------

Recently, I performed conformance checking on a CNet.

I construct the CNet based on N1 in page 248 of the book "Process Mining: Data Science in Action".

After that, I invoke CNetReplayerWithILP and replay a log on the CNet. The log is from page 247.

However, the fitness is only 0.099. Can anybody tell me where is wrong?

I attach the CNet as well as the mapping of numbers and symbols.

Regards.

----------------------------------------CNet----------------------------------

Element 0: In: [[9]] Out: [[3],[1,2]]

Element 1: In: [[0,6]] Out: [[4]]

Element 2: In: [[0,6]] Out: [[4]]

Element 3: In: [[0,6]] Out: [[4]]

Element 4: In: [[3],[1,2]] Out: [[6,7,8]]

Element 5: In: [[7,8]] Out: []

Element 6: In: [[4]] Out: [[3],[1,2]]

Element 7: In: [[4]] Out: [[5]]

Element 8: In: [[4]] Out: [[5]]

Element 9: In: [] Out: [[0]]

-----------------------------------------Mapping-------------------------------0 : a

1 : b

2 : c

3 : d

4 : e

5 : end

6 : f

7 : g

8 : h

9 : start

Post edited by syjing628 on

## Answers

910orf (6) has occurred, but the CNet above requires aandf.37Many thanks for your reply.

In the paper "Genetic Process Mining: An Experimental Evaluation", it indicates that:

"Tasks in a same subset have an XOR-split/join relation. Sets in different subsets have an AND-split/join relation."

I think "[[0,6]]" means

boccur afteraorf, i.e.bjust needs one token fromaorf. "[[0],[6]]" meansbrequires two tokens fromaandf.Is it wrong?

Kind regards,

Si-Yuan

910binding(see the book you referred to earlier on page 73), which would mean both 0 and 6. Perhaps a graphical representation of your CNet might help here.37Yes, it is a binding. "[0,6]" is the input binding of element 1, 2, 3.

I manually construct the CNet according to the graph N1 in page 248.

I have tested "[[0],[6]]" and the fitness is 1.0

But I am still confused. Tasks in a same subset have an XOR-split/join relation and sets in different subsets have an AND-split/join relation. In my understanding, "[[0,6]]" means

aandfhave an XOR-split/join relation, and "[[0],[6]]" meansaandfhave an AND-split/join relation.Kind regards.

Si-Yuan

910Matrices, not CausalNets. Indeed, these subsets are different. The bindings in Causal Nets are more expressive than the subsets in the Causal Matrix. As an example, with bindings one can model something like [[0],[0,1],[1]], which you cannot do in a Causal Matrix (as you have to pick on element from every subset, the number of picked elements is always the same).37Yes, the causal matrice is different with casual net.

Thank you again your help and kindness.

By the way, can you tell me how to export a petri net to a disk file by programming? Sometimes, I need to analyze a petri net offline.

Kind regards,

Si-Yuan

910Kind regards,

Eric.

37Thank you!

Kind regards,

Si-Yuan Jing