workflow-nets
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.
