Die Business Process Execution Language (BPEL) ist ein Standard zur Modellierung von automatisierten Geschäftsprozessen. Das Verhalten eines Geschäftsprozesses kann mit BPEL unterschiedlich modelliert werden, da verschiedene graphbasierte und sequenzielle strukturierende Aktivitäten verwendbar sind. Die Äquivalenz der Traces unterschiedlicher Modellierungen eines Geschäftsprozesses sind nicht direkt in einem BPEL Modell nachweisbar. Konzepte wie Behavioural Profiles oder die Validierung von Geschäftsprozess-Konsolidierungen sind auf eine Repräsentation eines BPEL Modells angewiesen, mit dem die verschiedenen Traces einer Ausführung von zwei BPEL Prozessen verglichen werden können. Diese Arbeit beschreibt ein Konzept zur Repräsentation von BPEL Prozessen durch ein temporalen Aktivitätenzustandsnetzwerk, das mit einem Punkt Algebra Netzwerk modelliert wird. In einem Punkt Algebra Netzwerk werden die Startzeitpunkte der Zustände aller Aktivitäten modelliert und alle Zeitpunkte in Relation gesetzt. Zum Vergleich der Traces der Basisaktivitäten von zwei BPEL Prozessen, die aus dem temporalen Aktivitätenzustandsnetzwerk eines BPEL Prozesses ermittelt werden, beschreibt diese Arbeit einen Algorithmus. Die Transformation von BPEL Modellen in ein temporales Aktivitätenzustandsnetzwerk und die Funktonalität des Vergleiches der Traces wurde als eine JAVA Anwendung realisiert, die auch in bestehende Projekte eingebunden werden kann.