BPMN→PNML: XOR-/AND-Verzweigungen werden im Petri-Netz falsch abgebildet

[JakobDPunkt]

Bei der Transformation von BPMN nach PNML werden XOR- und AND-Verzweigungen nicht in allen Fällen korrekt als Petri-Netz bzw. WoPeD-Workflow-Netz abgebildet.

Das Problem tritt insbesondere bei BPMN-Modellen auf, in denen Branches nach einer Verzweigung wieder auf einen gemeinsamen Task oder ein gemeinsames End-Event zusammenlaufen, ohne dass im BPMN ein expliziter Join-Gateway modelliert ist. Solche Modelle können z. B. in der T2P-Pipeline entstehen, wenn ein Business Process aus Text generiert wird.

Aktuell wird diese Struktur zu direkt in PNML übertragen. Dadurch kann sich die Semantik ändern:

• XOR-Branches können beim Zusammenlaufen fälschlich wie eine Synchronisation wirken oder zu Deadlocks führen.
• AND-Branches können ohne expliziten synchronisierenden Join im PNML unvollständig bzw. missverständlich dargestellt werden.
• Die resultierenden PNML-Dateien sind in WoPeD/Web nicht zuverlässig als korrekte XOR-/AND-Strukturen erkennbar.

Expected behavior:

• BPMN mit XOR-Split und implizitem Join wird als PNML mit korrekten XOR-Workflow-Operatoren transformiert.
• BPMN mit AND-Split und implizitem Join wird als PNML mit korrekten AND-Workflow-Operatoren transformiert.
• Fehlende Join-/Split-Gateways werden vor der eigentlichen PNML-Erzeugung normalisiert.
• Bestehende explizit modellierte Gateways bleiben unverändert funktionsfähig.

Acceptance criteria:

• Minimalbeispiel für XOR-Split mit implizitem Join reproduziert den Fehler.
• Minimalbeispiel für AND-Split mit implizitem Join reproduziert den Fehler.
• BPMN-Preprocessing erkennt fehlende Join-Gateways bei zusammenlaufenden Branches.
• Upstream-Gateway-Typ wird genutzt, um zwischen XOR-Join und AND-Join zu unterscheiden.
• Fehlende Split-Gateways bei mehreren ausgehenden Flows von Nicht-Gateway-Knoten werden normalisiert.
• PNML enthält passende WoPeD-Workflow-Operatoren (XorSplit, XorJoin, AndSplit, AndJoin).
• Regressionstests für XOR- und AND-Fälle sind vorhanden.
• Bestehende Transformer-Tests laufen weiterhin erfolgreich.
• Ergebnis kann über die T2P-Pipeline in WoPeD Web genutzt werden.

Backlog items:

• Analyse der aktuellen BPMN→PNML-Gateway-Transformation.
• Reproduktionsfälle für XOR- und AND-Verzweigungen erstellen.
• BPMN-Preprocessing für implizite Gateways implementieren.
• Implizite Join-Gateways anhand der vorgelagerten Split-Struktur ableiten.
• Implizite Split-Gateways bei mehreren ausgehenden Flows ergänzen.
• Unit-Tests für XOR-Split + impliziten Join ergänzen.
• Unit-Tests für AND-Split + impliziten Join ergänzen.
• Transformierte PNML-Struktur in WoPeD/Web manuell prüfen.
• Grenzen dokumentieren, z. B. gemischte XOR/AND-Konvergenzen oder uneindeutige LLM-generierte BPMN-Modelle.

Related branch:

fix/bpmn-gateway-pnml-transform