Modellierung und Auswertung musterbasierter Bedingungen an Geschäftsprozessmodelle by Jens Muller