Petri-net harness consumes one-use task approvals and preserves safety state

Evidence record

Read the original source ↗

Claim-level citations (2)

• supportsPetri-net agent supervisor consumed one-use approvals before tool effects: The Petri-net supervisory-control paper proposes executable guards whose transitions require authorization marks and refuse injected actions when prerequisites are absent or exhausted.

  Abstract; supervisory marks and transitions; evaluation limitations

• supportsPetri-net agent supervisor consumed one-use approvals before tool effects: The Petri-net execution-harness paper represents approval, capability and budgets as marks outside the model and proves conditional supervisory properties; it also identifies unbounded replanning cost for an otherwise safe maximally permissive supervisor.

  Abstract; supervisory control and replanning loop safety/cost conditions