DeepSeek Harness 工作流網運行時插件：資源感知併發與靜態健全性檢查

`yxie2/dsh-petrinet` 是 DeepSeek Harness 的一款工作流網運行時插件，利用令牌流轉模型解決智能體長期計劃中的資源競爭、死鎖及併發問題。核心功能包括資源感知併發、原生循環支持、靜態健全性檢查及過程挖掘。它通過 JSON DSL 定義資源與流程，並使用 `petri_plan` 等工具驗證及優化模型。該插件適合對資源管理要求嚴苛的場景，但需注意探索預算限制及令牌狀態重構機制。