Using Petri nets as a formal language for LLM-assisted development

(github.com) by orksliver | Nov 30, 2025 | 2 comments on HN