Back to directory
Testing & Reviewlalualdo/bpmn2pnml-ltl-analyzer
bpmn2pnml-ltl-analyzer
Unified library: parse multi-format BPMN → convert to PNML (Petri Net) → LTL deadlock/livelock analysis with cross-representation consistency checking
Suggested install command
npx skills add lalualdo/bpmn2pnml-ltl-analyzer/bpmn2pnml-ltl-analyzerAlways inspect the linked repository and skill instructions before running commands. Skills are instructions; permissions and execution still matter.
Compatibility
Agent support matrix
3 supported
| Agent | Status |
|---|---|
| Claude Code | Supported |
| OpenCode | Not listed |
| Cursor | Supported |
| MCP | Not listed |
| GitHub Copilot | Not listed |
| Windsurf |