A Petri Net Semantics for BPEL

Christian Stahl
We present a pattern-based Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics is complete - it covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). Therefore every business process specified in BPEL can be transformed into a Petri net.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.