ProM 6.1 - LTL-checker

Jo_SwinnenJo_Swinnen Posts: 12
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,

Jo
Tagged:

Comments

  • Dear Jo,
    to do that, you have to select the option "All" (instead of "Favorites") in the Workspace.

    Cheers,
    Fabrizio

  • Thank you very much! Now I see it.

    Jo
Sign In or Register to comment.