Grundlage dieser Arbeit stellen die Web Services Business Process Execution Language (BPEL) (vgl. Abschnitt 2.1) und Executable Workflow Networks (EWFN) (vgl. Abschnitt 2.3) dar. BPEL ist der Standard für die Beschreibung von Geschäftsprozessen, der in der Lage ist verschiedene Services zu einer Gesamtanwendung zu verknüpfen. Auf dem Markt befindet sich bereits ein breites Spektrum an verschiedensten Implementierungen des BPEL-Standards. Zusätzlich existiert eine Fülle an Werkzeugen für die Modellierung, Verwaltung, Monitoring etc. von BPEL-Prozessen. EWFN basieren auf gefärbte Petri-Netze [Jen92] und Boolesche-Netze [LSW97] und stellen ein geeignetes Modell für die verteilte und dezentralisierte Ausführung von BPEL-Prozessen. Das Modell zeichnet sich durch eine wohlgeformte, formale Syntax und eine wohl definierte Semantik [MWL08a]. In der vorliegenden Arbeit soll ein Verfahren spezifiziert werden, das BPEL-Prozesse in semantisch äquivalente EWFNs transformiert. Zusätzlich soll ein geeignetes Datenformat für die Darstellung von EWFN definiert und ein Tool implementiert werden, das BPEL-Dateien in dieses Ziel-Datenformat umwandelt.