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.
Activity and Sequence Detection Evaluation Metrics: A package to evaluate activity detection results, including the sequence of events given multiple activity types.
