https://pypi.org/project/bpmn2pnml-ltl-analyzer/ Recent updates to the Python Package Index for bpmn2pnml-ltl-analyzer en https://pypi.org/project/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 lalualdo@gmail.com Mon, 20 Jul 2026 15:20:41 GMT