Colored Petri Nets, LLMs, and distributed applications / hacker news