Another example is the decision miner described in (Rozinat & Aalst, 2006b) which takes an a priori process model and analyzes every choice in the process model.
Ένα άλλο παράδειγμα είναι ο ανθρακωρύχος που περιγράφονται στην απόφαση (Rozinat & Aalst, 2006β), η οποία παίρνει ένα πρότυπο διαδικασίας και αναλύει κάθε επιλογή στο μοντέλο διαδικασίας.