@yxie2/petrinet
Workflow-net runtime for DeepSeek Harness: resource-aware concurrency, native loops and fan-out, static soundness checking before a plan becomes durable, and process mining over its own event log.
AI 분석
核心用途是为 DSH 提供基于 Petri 网的工作流执行引擎，支持高并发、循环控制和静态健全性检查。适合需要构建复杂、确定性与 LLM 决策混合的自动化工作流任务的开发者。
설치
$
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:yxie2/dsh-petrinetConfiguration
Defaults cost nothing — deterministic choice, no repair:
- id: petri-driver
name: '@yxie2/petrinet/driver-host'
config:
decider: llm # deterministic (default) | llm — only consulted at real choice points
repair: both # off (default) | adaptive | llm | both
maxConcurrency: 4
approveRepairs: false
repair: adaptive is also free — it reads history, not a model — so it is the first thing worth turning on.
The llm decider is only consulted where transitions genuinely compete for the same tokens. Uncontested progress and control transitions cost no model calls at all.