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.

ProM 6.1 - LTL-checker

edited September 2011 in ProM 6
Hi all,

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.

Thank you!

Kind regards,



Sign In or Register to comment.