Howdy, Stranger!
It looks like you're new here. If you want to get involved, click one of these buttons!
Categories
- 1.5K All Categories
- 45 Announcements / News
- 213 Process Mining
- 6 - BPI Challenge 2020
- 9 - BPI Challenge 2019
- 24 - BPI Challenge 2018
- 27 - BPI Challenge 2017
- 8 - BPI Challenge 2016
- 64 Research
- 954 ProM 6
- 368 - Usage
- 281 - Development
- 7 RapidProM
- 1 - Usage
- 6 - Development
- 54 ProM5
- 19 - Usage
- 185 Event Logs
- 30 - ProMimport
- 75 - XESame
In this Discussion
ProM 6.1 - LTL-checker
Jo_Swinnen
Posts: 12
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
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
Jo