BPEL2oWFN Translating BPEL Process to Open Workflow Nets
GNU BPEL2oWFN Version 2.0.3, 29 June 2007


The Theory of Programming group at the Humboldt-Universität zu Berlin developed a Petri net semantics for BPEL4WS 1.1 in 2004. Due to ambiguities in the imprecise BPEL4WS 1.1 specification (e.g., link semantics, compensation of nested scopes), several design decisions had to be made. Later, in 2007, this semantics was enhanced to also cover WS-BPEL 2.0.

Petri Net Semantics

Case Studies

last changes: 29.06.2007