DeepSeek Harness 工作流网运行时插件:资源感知并发与静态健全性检查
`yxie2/dsh-petrinet` 是 DeepSeek Harness 的一款工作流网运行时插件,利用令牌流转模型解决智能体长期计划中的资源竞争、死锁及并发问题。核心功能包括资源感知并发、原生循环支持、静态健全性检查及过程挖掘。它通过 JSON DSL 定义资源与流程,并使用 `petri_plan` 等工具验证及优化模型。该插件适合对资源管理要求严苛的场景,但需注意探索预算限制及令牌状态重构机制。
阅读全文