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