petri-nets
SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.
Evidence-bound analysis and finite intervention control for collective workflows.
Universal Stochastic Computing Framework for Neuromorphic Hardware — Rust SIMD engine, Python simulation, Verilog RTL, HDC/VSA, SCPN integration
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.
