@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.
安装
$
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:yxie2/dsh-petrinet说明文档
阅读完整 README ↗Configuration
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.