Miners

Alpha Miner

ProM package alphaminer-6.9.78. Discovers Petri nets.

Fodina Miner

Fodina-2019-06-17, using ProM. Discovers Petri nets.

 Hybrid ILP Miner

ProM package hybridilpminer-6.10.154. Discovers Petri nets.

Inductive Miner

ProM package inductiveminerdeprecated-6.10.64. Discovers Petri nets.

Inductive Miner (OR)

ProM package inductiveminerdeprecated-6.10.64. Discovers Petri nets.

Log Skeleton

ProM package logskeleton-6.10.93. Discovers log skeletons.

Log Skeleton (5% noise)

ProM package logskeleton-6.10.93. Discovers log skeletons allowing for 5% of noise.

Split Miner

splitminer-0.2.x. Discovers BPMN diagrams.

New miner?

A new miner needs to come with its own “Discover.bat” Windows batch file, which takes two inputs:

  1. The full path to the discover log file, including the “.xes” extension.
  2. The full path to the model file where the discovered model should be stored, excluding any extension like “.pnml”, “.bpmn”, or “.lsk”.

Running the batch file should import the provided log file, discover a model from it, and export the discovered model to the provided model file (including the extension that matches the model).

If the miner results in a PNML file (Petri nets), a BPMN file (BPMN diagram), or a LSK file (log skeleton), then you’re done. If not, the miner needs to come with its own “Classify.bat” Windows batch file, which takes three inputs:

  1. The full path to the classify log file, including the “.xes” extension.
  2. The full path to the model file which should be used to classify the classify log, excluding any extension like “.pnml”, “.bpmn”, or “.lsk”.
  3. The full path to the log file where the classified log should be stored, including the “.xes” extension.

Running the batch file should import the classify log and the model, classify the classify log using the model (adding the “pdc:isPos” attributes to the traces), and export the classified log to the provided log file.

PNML Classifier

Classifies a log using a Petri net stored in a PNML file. Uses ProM.

BPMN Classifier

Classifies a log using a BPMN diagram stored in a BPMN 2.0 file. Uses ProM. First converts (for conformance) the BPMN diagram to a Petri net, then uses the PNML Classifier.

LSK Classifier

Classifies a log using a log skeleton stored in a LSK file. Uses ProM.