event-logs
Process mining, Petri nets and coloured Petri nets in one desktop app. Draw WF-nets and check soundness, discover and check models from event logs, and simulate CPN Tools models. Pure Python + Qt, runs on macOS, Windows and Linux.
Differential privacy for sequential event logs, anonymizing case IDs and timestamps while preserving statistical properties.
