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.
typescript workflow-engine orchestration model-checking petri-net deadlock-detection process-mining ai-agents soundness agent-framework workflow-net llm-agents deepseek-harness dsh-plugin
-
Updated
Aug 24, 2026 - TypeScript