Application developed for discovering declerative process models.
This is a tool for process mining that uses a version of LTLChecker found here.
Performance tests can be found here.
-
Notifications
You must be signed in to change notification settings - Fork 1
TKasekamp/LTLMiner
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|