zlyingxie/dsh-petrinet0

@zlyingxie/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 提供高可靠性的复杂工作流执行引擎。适合需要设计、运行和监控复杂并发任务与循环流程的专业用户。

パッケージ
@zlyingxie/petrinet
バージョン
0.1.0
ライセンス
MIT
最終更新
2026/08/24

インストール

$npx -p @deepseek-ai/dsh dsh plugin --profile web add github:zlyingxie/dsh-petrinet

ドキュメント

README 全文を読む ↗

Configuration

Defaults cost nothing — deterministic choice, no repair:

- id: petri-driver
  name: '@zlyingxie/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.