Colored Petri Nets, LLMs, and distributed applications