NewMCP agent API — drive Promenade from your own AI agent
Rust · WebAssemblyView · TypeScriptDiscovery

Fuzzy Miner

run.promenade.fuzzy-miner

Günther & van der Aalst's Fuzzy Miner for case-centric event logs: instead of a control-flow model it measures the log from several perspectives — frequency and routing significance per activity, frequency and distance significance per relation, and proximity, endpoint and originator correlation — and hands back the whole weighted graph. Simplification is interactive: the Fuzzy graph view's collapsible slider rail resolves concurrency conflicts, thins edges and folds insignificant activities into clusters, live, exactly the way ProM's original does.

Produces

  • FuzzyModel

Runtimes

  • Rust · WebAssemblyCompiled to WebAssembly, runs in the page or on an engine
  • View · TypeScriptRenders an artifact inside a sandboxed iframe

Versions

VersionReleasedSizeNotes
0.5.1latest15 Sept 2026692 KBDeclares `family: "model"` on `FuzzyModel`, so a mined fuzzy model is coloured as a model rather than as an outcome in the artifact tree.
0.5.015 Sept 2026692 KBAdds a Distances mode to the Fuzzy metrics view, a diagnostic ProM itself never had: a bar per look-back distance showing how many relation observations the scan actually found there, with the current attenuation curve overlaid, and the current maximal-distance cutoff marked so it's visible whether raising it (an Inspector-only param) would capture more real data. New distanceHistogram field on the model, computed straight from the scan's raw accumulator so it doesn't depend on maximalDistance.
0.4.015 Sept 2026690 KBCloses three gaps found checking against ProM's real source: a per-metric Invert toggle for all seven raw metrics (mirrors each around its own weight, matching the Python reference's exact semantics); the maximal event distance cap raised from 5 to 20 (ProM allows 0-100; 20 balances usefulness against WASM scan memory); and a Curves mode in the Fuzzy metrics view, ProM's other metrics panel, overlaying the unary metrics (overall/frequency/routing significance) as line charts alongside the existing binary-metric matrix.
0.3.114 Sept 2026686 KBHardens the Fuzzy metrics view's theme handling: colour tokens use || instead of ?? so an empty-string theme value falls back to a sane default instead of reaching a canvas fillStyle as-is, which silently keeps its previous (black) colour on an invalid value rather than erroring.
0.3.014 Sept 2026686 KBAdds a Fuzzy metrics view alongside the graph — a coloured n x n matrix over activity pairs (the two weighted totals plus the five raw metrics behind them, once mined with per-metric detail enabled), with a per-activity bar in the row gutter, hover tooltips, click-to-select shared with the graph view, and a PNG export.
0.2.13 Sept 2026621 KBFixes the 0.2.0 arrowhead fix itself: nodes are laid out at their real size again (not padded), so edge ports spread across a node's true width instead of compressing onto a narrower band of it; the arrowhead clearance is now applied to the rendered path only.