4 Commits
Author SHA1 Message Date
imacatandClaude Fable 5 79bb561693 Fix self-loop detection to use the Definition 6 self-relation
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-08-20 10:00:45 +08:00
imacatandClaude Fable 5 11045c57d3 Fix Equation 5 to count lifecycle observations instead of traces
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-08-20 09:57:38 +08:00
imacatandClaude Opus 5 d35d866b4b Add Split Miner 2.0 implementation
Adds the Split Miner 2.0 pipeline (Augusto, Dumas & La Rosa,
2021) alongside the existing 1.0 implementation:

- refined_dfg: refined DFG from activity lifecycle events
  (Definition 6)
- refined_concurrency: true concurrency from lifecycle
  overlap (Equation 5)
- heuristics: fix improper completion from AND-split
  loop-edges, and detect OR-splits from mutual
  exclusiveness (Section 3.3)
- miner.split_miner_2: the 2.0 entry point, reusing the 1.0
  filtering, splits, joins and OR-join minimization steps

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-03-12 12:36:37 +08:00
imacatandClaude Opus 4.6 446e6f90fe Add split miner implementation
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
2026-03-12 07:03:52 +08:00