pflow-xyz/go-pflow

Petri net library — ODE, SSA & SDE simulation, parameter fitting, and formal verification, in Go

3 best points · 2 comments · 1 Hacker News post · 11 GitHub stars · View on GitHub

Hacker News discussions

• Using Petri nets as a formal language for LLM-assisted development (3 points, 2 comments, by orksliver, 2025-11-30)