Conformance checking

oluwande

Hello everyone, I am a new user of prom lite 1.2. I have managed to generate a model through the adaptive heuristic miner. but I do not have any idea on how to perform conformance checking. pls any idea is welcomed. I also will apreciate tutorials to guide me step by step.  thanks

hverbeek

Hi,

What do you mean with "adaptive heuristics miner"? Do you mean the "Interactive Data-aware Heuristics Miner"? If so, you should select "Petri net"as youroutput model, and then select the "Export model" button next to it. This copies the Petri net into your workspace. In the workspace, you can then select both the log and the Petri net, and select the "Replay a Log on Petri net for Conformance Analysis" plugin.

For the initial marking, add the "source" place once. For the final markign, select the "sink" place once. To map transitions to event classes correctly, select the same classifier as you have used during discovery. The proposed mapping is usually correct, but please check and adjust where necessary. For the remainder, please accept the default configuration. In the end, the replay result will be shown to you.

Kind regards,

Eric.

oluwande

Thanks a lot for your reply. i will definitely work on this response and  give you feedback. 

oluwande

hello hverbeek, once again, thanks for your prompt response. I have followed your suggestion, and I have got some results. my current concern is that which of the metrics shown in the attached image corresponds to fitness, precision, behavioural appropriateness, DMF and cost. how do I interpret these parameters? pls find attached my results. thanks

hverbeek

Hi,

I think you need to read in on the subject. For that, the publications of Arya Adriansyah should do (https://scholar.google.com/citations?user=kZpQttgAAAAJ&hl=nl), like, for example, his PhD thesis (https://research.tue.nl/en/publications/aligning-observed-and-modeled-behavior).

Kind regards,

Eric.