Petri-Net Supervisory Control for Safe LLM Tool Execution
October 23, 2026
This method formalizes the execution harness between LLMs and tools as a Petri-net supervisory control problem. It prevents prompt injection by enforcing capability, approval, and budget constraints through transition firing rules, regardless of the model's linguistic output.
HOW THIS AFFECTS YOU
●
builderYou can implement a formal, math-based safety layer to restrict agent tool usage.
●
policyThis provides a verifiable framework for enforcing operational boundaries in agentic systems.