Alpha Miner

Wat is Alpha Miner?

Alpha Miner is een klassiek process-discoveryalgoritme dat een Petri-net afleidt uit een eventlog. Het werd ontwikkeld om causale relaties, keuzes en paralleliteit uit waargenomen activiteitsvolgordes te reconstrueren.

Het algoritme is conceptueel waardevol omdat het laat zien hoe lokale direct-followrelaties naar formele processtructuur kunnen worden vertaald.

Voor onvolledige of ruisrijke bedrijfslogs is Alpha Miner meestal geen praktische eerste keuze. Latere algoritmen behandelen frequentie en incompleet gedrag beter.

Direct-followrelaties

Als activiteit B ergens direct na A voorkomt, schrijft men A > B. Uit beide richtingen leidt Alpha relationele categorieën af.

A > B en niet B > A wordt als causale richting A naar B geïnterpreteerd. Als beide richtingen voorkomen, ziet het algoritme dat als mogelijke paralleliteit.

Wanneer geen van beide richtingen voorkomt, zijn de activiteiten volgens de footprint niet direct gerelateerd. Deze lokale logica heeft beperkingen bij korte lussen.

De footprint matrix

De footprint matrix bevat voor ieder activiteitenpaar causaliteit, paralleliteit of geen directe relatie.

Alpha zoekt vervolgens maximale sets van input- en outputactiviteiten die aan de vereiste relaties voldoen. Die sets worden plaatsen in het Petri-net.

Een kunstmatige begin- en eindplaats verbinden de start- en eindactiviteiten uit de log.

Een voorbeeldlog

Neem traces A, B, C, D en A, C, B, D. B en C komen in beide volgordes voor, terwijl A voorafgaat en D volgt.

Alpha interpreteert B en C als parallel. Het resulterende net splitst na A en synchroniseert vóór D.

Met alleen trace A, B, C, D zou het algoritme geen observatie van C direct gevolgd door B hebben. De log moet dus voldoende gedrag bevatten om paralleliteit te herkennen.

Completeness assumptions

De klassieke theorie veronderstelt dat de eventlog voldoende representatief is voor de relevante direct-followrelaties van het proces.

Een niet-waargenomen volgorde kan onmogelijk gedrag zijn, maar ook een zeldzame geldige variant die niet in de steekproef zit.

Alpha gebruikt aanwezigheid, niet hoe vaak een relatie voorkomt. Eén ruis-event kan daarom even zwaar meetellen als duizenden normale traces.

Korte lussen

Een lengte-éénlus A, A en een lengte-tweelus A, B, A verstoren de eenvoudige relationele interpretatie.

Bij A, B en B, A kan Alpha paralleliteit concluderen terwijl de log een herhalende lus toont.

Uitbreidingen zoals Alpha+ behandelen bepaalde korte lussen, maar lossen niet alle realistische ruis- en incompleetheidsproblemen op.

Ruis en uitzonderingen

Alpha heeft geen frequentiedrempel om zeldzame bogen te onderscheiden. Een verkeerd eventlabel of fout gecorreleerde case kan extra structuur creëren.

Voor echte logs worden daarom vaak filtering en andere miners gebruikt. Filtering moet zeldzame complianceafwijkingen niet stil verwijderen.

Bewaar de ruwe log en documenteer iedere preprocessingstap.

Alpha versus Heuristics Miner

Heuristics Miner weegt hoe vaak relaties voorkomen en gebruikt dependencymaten en thresholds. Daardoor kan hij veelvoorkomend gedrag van incidentele ruis scheiden.

Het resultaat en de garanties verschillen. Een heuristics net is niet automatisch een sound workflow net.

Alpha blijft nuttig voor onderwijs en kleine, gecontroleerde voorbeelden waarin de aannames redelijk gelden.

Alpha versus Inductive Miner

Inductive Miner zoekt recursief process-treecuts zoals sequence, choice, parallel en loop. Het levert block-structured modellen met soundnessgaranties.

Varianten zoals Inductive Miner-infrequent kunnen zeldzaam gedrag filteren tijdens discovery.

De keuze van miner hangt af van doel, logkwaliteit en gewenste balans tussen fitness, precision en eenvoud.

Praktisch gebruik

Controleer eerst casecorrelatie, lifecyclefilter en activity labels. Gebruik een kleine log waarvan verwachte relaties bekend zijn.

Inspecteer footprint en ontdekt net, voer replay uit en beoordeel fitness, precision en soundness.

Presenteer Alpha-resultaten niet als objectieve proceswaarheid. Het model volgt uit specifieke logobservaties en algoritmeaannames.