Verfahrenskette —

BPMN kann zweierlei nicht ausdrücken, was diese Sicht trägt: eine gestrichelte Linie ist dort mehrdeutig (Nachrichtenfluss, Assoziation, Datenassoziation), deshalb steht die Provenienz im Namen der Kante und in extensionElements. Und Antragsteller und Behörde liegen als Schwimmbahnen in einem Pool, weil Sequenzflüsse keine Pool-Grenze überqueren dürfen — die Alternative wären zwei Pools mit Nachrichtenflüssen.