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.
First of all, I did not try everything yet in ProM 6.1 but until now it looks great!
I have a question regarding the LTL-checker in ProM 6.1. How can I further use/export the event logs with the compliant and non-compliant cases?
It seems that I can only use the 'Checking Results' after executing a rule in the LTL-checker.