Using Petri nets as a formal language for LLM-assisted developmentgithub.com/pflow-xyz3 pointsorksliver7 months ago