Metadata-Version: 2.4
Name: bpmn2pnml-ltl-analyzer
Version: 0.1.0
Summary: Unified library: parse multi-format BPMN → convert to PNML (Petri Net) → LTL deadlock/livelock analysis with cross-representation consistency checking
Author-email: Lalu Aldo <lalualdo@gmail.com>
License: MIT
Project-URL: Homepage, https://github.com/lalualdo/bpmn2pnml-ltl-analyzer
Project-URL: Source, https://github.com/lalualdo/bpmn2pnml-ltl-analyzer
Project-URL: Documentation, https://github.com/lalualdo/bpmn2pnml-ltl-analyzer#readme
Keywords: bpmn,petri-net,pnml,ltl,temporal-logic,formal-verification,deadlock,livelock,process-mining,xpdl,vdx
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Requires-Python: >=3.8
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: jsonschema>=4.0.0
Requires-Dist: lxml>=4.9.3
Provides-Extra: dev
Requires-Dist: pytest>=8.0.0; extra == "dev"
Requires-Dist: black; extra == "dev"
Requires-Dist: flake8; extra == "dev"
Dynamic: license-file

# 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
```bash
pip install bpmn2pnml-ltl-analyzer
```

## 🚀 Usage
```python
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:
<a href="https://github.com/lalualdo/bpmn2pnml-ltl-analyzer" target="_blank">GitHub repository</a>
