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.vdxinto 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
1 maintainer
Metadata
1 maintainer
Release files for bpmn2pnml-ltl-analyzer 0.1.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| bpmn2pnml_ltl_analyzer-0.1.0.tar.gz | 179.3 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| bpmn2pnml_ltl_analyzer-0.1.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 444.5 kB
Release files / bpmn2pnml_ltl_analyzer-0.1.0.tar.gz
| Download URL | bpmn2pnml_ltl_analyzer-0.1.0.tar.gz |
|---|---|
| Size | 179.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
bb6a3c917efb054e84a3b66f6c17ddb9d3987c4c7ebdae3f6db3d4d2e69ac40f
|
|
BLAKE2b-256 checksum How to use checksums |
c56dab480357c5a6202612e196b2560d63297bc296747aaef3e5ac0371a6898c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.11.15
|
Release files / bpmn2pnml_ltl_analyzer-0.1.0-py3-none-any.whl
| Download URL | bpmn2pnml_ltl_analyzer-0.1.0-py3-none-any.whl |
|---|---|
| Size | 265.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
655714ac77f86866ddb2cb8c61fc58db5f6b718b810c5ee574162042075bdf19
|
|
BLAKE2b-256 checksum How to use checksums |
be57d2a7dd4c5001e35c3b662166f505fc738b22234442084b5f93324e89cdee
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.11.15
|
