DeepSeek Harness Workflow Network Runtime Plugin: Resource-Aware Concurrency and Static Soundness Checks

`yxie2/dsh-petrinet` is a workflow net runtime plugin for DeepSeek Harness that leverages a token-flow model to address resource contention, deadlocks, and concurrency issues in long-term agent planning. Core features include resource-aware concurrency, native loop support, static soundness checks, and process mining. It defines resources and workflows using a JSON DSL, and utilizes tools such as `petri_plan` to validate and optimize the models. This plugin is suitable for scenarios with strict resource management requirements, though attention must be paid to exploration budget limits and the token state reconstruction mechanism.

Read More