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.
After advices I got in my last question, I investigated declarative expression of processes.
Mining the activity log I had lead to poor result. However, I do have the "ideal" process that logs should follow.
I wrote a "declarative" process with statements found in this paper:
The Effect of Noise on Mined Declarative Constraints by Claudio Di Ciccio et al.
Is there a graphical declare language editor?
Once I have those statements (in a text file) how can I translate them in a machine usable input for declarative miner conformance checks?
Many thanks for your input.