conformance-checking

Generate realistic multi-agent workflow traces with LLM-enriched content, semantic validation, and PM4Py compatibility. pip install open-agent-traces

Example of integration between bpmn-visualization and pm4py

Cross-system ERP transaction forensics for SAP, Salesforce & NetSuite. Read-only anomaly detection, cross-system correlation, and evidence-grade provenance. Live no-install demo + real field case studies. MIT.

ProcessM: Real-Time Intelligent Process Mining Software

A Trie-based approach to efficiently compute alignment approximations

MCP design system validator for agentic coding. Detects design drift in agent-built UI.

Process Prophet is a process minig tool that generates a process twin able to imitate existing behavior and make predictions

Web app to generate automatic conformance checking insights using Celonis. Created as part of the “Conformance Checking in Python” software lab offered by the Chair of Process and Data Science (PADS) at RWTH Aachen University.

Token-based conformance checking

A modern Flet-based UI for PM4PY that enables process mining, discovery, conformance checking, filtering, and analysis of event logs without writing code.

Process mining pipeline: discovery, conformance checking (as-is vs to-be), KPI/bottleneck analysis, and a Streamlit dashboard for ERP-style event logs (O2C/P2P).

Stochastic BPMN and Their Conformance

Process mining on the BPI Challenge 2020 Travel Permit dataset — bottleneck analysis, conformance checking, SHAP early warning model, temporal CV

Declarative Golden Path for .NET, React, and PostgreSQL systems. A versioned architecture catalog plus deterministic, read-only conformance checks: inspect a repository, score it against a profile, and get an ordered remediation plan. Zero runtime dependencies.

Explainable HVAC fault detection: discovered process models locate a building's invariants, calibrated channels detect violations — every alarm ships with a name, an explanation, and a false-positive budget. Validated on 3 LBNL benchmarks.

CC4Spark enables to generate XES event logs from distributed data sources, and solve conformance checking alignment problems in distributed environments.

Automated planning for alignment-based conformance checking - Mirror of the official SVN repository of the ProM package "PlanningBasedAlignment".

An alignment-based multi-perspective online conformance checking technique

Fast LTLf Log-SAT Solver with Data Payload!

A streaming conformance checking approach