⚙️

dsh-petrinet

工作流更新于 2026.08.25

在终端中运行以下命令：

dsh plugin install yxie2/dsh-petrinet

将以下提示词粘贴到 DeepSeek Harness 对话框中：

在 DeepSeek Harness 中执行 dsh plugin install yxie2/dsh-petrinet 即可安装该插件，完整源码见 https://github.com/yxie2/dsh-petrinet 。

插件介绍

当多个 Agent 协同执行长周期任务时，锁倒置、静默死锁和并发超限是最昂贵的失败模式。传统编排依赖散落的 if/else 与手动令牌，既难以阅读，也无法在运行前证明计划不会卡死。

dsh-petrinet 把长程计划建模为 Petri 网：令牌在位置间流动，迁移消费并产出令牌，一条统一的触发规则同时承载并发上限、循环与动态扇出。更关键的是，每个计划在落盘前都会经过静态健全性检测——若存在死锁，系统直接拒绝提交并给出具体的反例状态，而非让任务跑四十小时后才暴露。执行日志本身即过程挖掘的事件流，可反向推导计划与实际行为的偏差，驱动从自适应参数调整到 LLM 重写规格的分级自修复，且每次修复仍须通过健全性关卡。

适合在 DeepSeek Harness 中运行多步、多 Agent 长周期工作流、需要资源约束可证明且失败前可发现的团队。