Verhalten und Ausführungssemantik von erweiterten Sequenzkanten in Geschäftsprozessen.