petri-template-and-validation

What problem does it solve?

This Skill helps teams stop recurring structural bugs in LLM-generated Petri nets by replacing free-form generation with template-based instantiation plus explicit validation and fault-simulation gates.

Core Features & Use Cases

• Template-based Petri net generation: Generate net structure from vetted templates rather than letting the LLM free-write workflows.
• Static validation as a formal transition: Detect unreachable/unproductive nodes, deadlocks, AND/XOR merge mismatches, and missing retry/trial-guard patterns before any execution.
• Fault-injection simulation for behavioral safety: Run scenario-based dynamic checks without invoking additional LLM calls to confirm end states like Done vs Stuck.
• Approval-gated execution planning: Route passing nets into runnable workflow instantiation with human or automatic approval.

Quick Start

Tell your team to implement proposePetriNet as a Petri-net self-hosting metaworkflow that selects a template, validates statically, simulates faults, and only then approves and instantiates the runnable net.