MINERful

MINERful is a fast mining tool for the automated discovery of declarative process specifications from event logs. Process specifications consist of constraints expressed in Linear Temporal Logic over Finite Traces (LTLf). 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 specifications, and import/export specifications written in JSON. The language we take as a reference for the repertoire of constraint templates is Declare (see the Publication and further material section below).

As a quick-start guide to MINERful, please find a tutorial in which we process a real-life event log from the healthcare domain (available at data.4tu.nl), and another tutorial with a sytnhetic event log. A video demonstration of MINERful can be watched at youtu.be/a6jEWdgS_yY.

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

Publications and further material

Selected publications and presentation material about MINERful follow.

• The latest publication specifically focussed on the tool:

  Cecilia Iacometta, Claudio Di Ciccio: Declarative Process Mining with MINERful, Reloaded. BPM Demos & Resources: 328-335 (2025)

  • URL: ceur-ws.org/Vol-4032/paper-43.pdf (open access!)
  • Presentation: slideshare.net/slideshow/declarative-process-mining-with-minerful-reloaded/283806238
  • Video: youtu.be/a6jEWdgS_yY

• 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: 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: 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: 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: 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.