About LTL checker plug-in
When I want to use the ProM software do LTL check , cannot find the LTL checker plug-in. I wish I can get your help. How do LTL check with ProM (LTL checker plug-in).thank you very much. Attachment is my relevant document downloaded from ProM homepage.
Answers
-
Dear Adiaqu,
Please launch the ProM package manager and install (at least) the LTL package.
More information on how to use the ProM package manager can be found at www.promtools.org
Joos Buijs
Senior Data Scientist and process mining expert at APG (Dutch pension fund executor).
Previously Assistant Professor in Process Mining at Eindhoven University of Technology -
First of all thank you very much. I'm a graduate of Beijing Jiaotong University in china.
I have installed all of the packages, as shown in attachment. But I cann't find LTL package (LTL checker plug-in). If you know, will you please instruct me, or cut a figure.
It must be very kind of you.thank you very much.
-
This is attachment
-
Dear Adiaqu,
It indeed seems to be removed in ProM 6.4.1, probably because it was not maintained anymore.
You can install an older version of ProM, and/or contact the original developer for a clarification.
Joos Buijs
Senior Data Scientist and process mining expert at APG (Dutch pension fund executor).
Previously Assistant Professor in Process Mining at Eindhoven University of Technology -
Oh,I see. I'm very grateful.
-
Oh,I see. I'm very grateful.
Howdy, Stranger!
Categories
- 1.6K All Categories
- 45 Announcements / News
- 225 Process Mining
- 6 - BPI Challenge 2020
- 9 - BPI Challenge 2019
- 24 - BPI Challenge 2018
- 27 - BPI Challenge 2017
- 8 - BPI Challenge 2016
- 68 Research
- 1K ProM 6
- 393 - Usage
- 287 - Development
- 9 RapidProM
- 1 - Usage
- 7 - Development
- 54 ProM5
- 19 - Usage
- 187 Event Logs
- 32 - ProMimport
- 75 - XESame