bpmn2pnml-ltl-analyzer 0.1.0

Unified library: parse multi-format BPMN → convert to PNML (Petri Net) → LTL deadlock/livelock analysis with cross-representation consistency checking

BPMN → PNML → LTL Analyzer

A unified Python library that carries a business process model from a multi-format BPMN file all the way to formal LTL verification — in one pipeline.

✨ Features

• Parse .bpmn, .xpdl, and .vdx into a single standardized BPMN-JSON schema
• Convert BPMN-JSON into PNML (Petri Net Markup Language)
• Analyze deadlocks & livelocks with LTL rules on both representations
• Cross-validate the BPMN vs Petri Net verdicts into a 4-quadrant consistency matrix
• Pure computation: no database, no web server

📦 Installation

pip install bpmn2pnml-ltl-analyzer

🚀 Usage

import bpmn2pnml_ltl as bp

report = bp.run_pipeline("model.bpmn")
print(report["comparison"]["quadrant"])   # e.g. "bpmn_clean_pnml_clean"
print(report["comparison"]["agreement"])  # True / False

📖 Documentation

Full documentation & source code: GitHub repository