MINERful

MINERful is a fast process mining tool for discovering declarative process specifications out of event logs. Event logs can be either real or synthetic, stored as XES, legacy MXML, or text files (a collection of strings, in which every character is considered as an event, and every line as a trace). Among other things, MINERful can also create synthetic logs, simplify existing Declare specifications, and import/export specifications written in JSON. Simply play around with it!

For updated info on the installation, usage, etc., please refer to the Wiki!

For a tutorial on how to run the main functionalities of MINERful on a real event log, please refer to the tutorial with a real-life event log. For a tutorial on how to run the main functionalities of MINERful on a synthetic event log, please refer to the tutorial with a sytnhetic event log.

A video demonstration of MINERful can be watched at youtu.be/a6jEWdgS_yY.

Publications and further material

Selected publications about MINERful and presentation slides:

• About declarative specifications:

  Claudio Di Ciccio, Marco Montali: Declarative Process Specifications: Reasoning, Discovery, Monitoring. Process Mining Handbook: 108-152 (2022)

  • DOI: 10.1007/978-3-031-08848-3_4 (open access!)
  • Presentation: https://drive.google.com/uc?export=download&id=1jdla84hdV7m04QGTD6_NTgZ1E_V5fW2L

• The main discovery algorithm:

  Claudio Di Ciccio, Massimo Mecella: On the Discovery of Declarative Control Flows for Artful Processes. ACM Trans. Management Inf. Syst. 5(4): 24:1-24:37 (2015)

  • DOI: 10.1145/2629447
  • Presentation: https://www.slideshare.net/cdc08x/automated-discovery-of-declarative-process-models

• Quality measures for discovered process specifications:

  Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling: Measuring the interestingness of temporal logic behavioral specifications in process mining. Inf. Syst. 107: 101920 (2022)

  • DOI: 10.1016/j.is.2021.101920 (open access!)

• Simulation of declarative specifications:

  Claudio Di Ciccio, Mario Luca Bernardi, Marta Cimitile, Fabrizio Maria Maggi: Generating Event Logs Through the Simulation of Declare Specifications. EOMAS@CAiSE 2015: 20-36

  • DOI: 10.1007/978-3-319-24626-0_2

• Getting rid of redundancies and inconsistencies:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling: Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64: 425-446 (2017)

  • DOI: 10.1016/j.is.2016.09.005
  • Presentation: https://www.slideshare.net/cdc08x/resolving-inconsistencies-and-redundancies-in-declarative-process-models

• Retaining only non-vacuously satisfied (read: relevant) constraints:

  Claudio Di Ciccio, Fabrizio Maria Maggi, Marco Montali, Jan Mendling: On the relevance of a business constraint to an event log. Inf. Syst. 78: 144-161 (2018)

  • DOI: 10.1016/j.is.2018.01.011
  • Presentation: https://www.slideshare.net/cdc08x/semantical-vacuity-detection-in-declarative-process-mining

License

Please read the LICENSE file.

Contact

Please contact the developers, Claudio Di Ciccio and Cecilia Iacometta, for any information, comment or bug reporting.