Next: , Previous: File Formats, Up: Top



4 Petri Net Patterns

In version 1.2 of BPEL2oWFN the following Petri net patterns are implemented:

4.1 Petri net semantics from [Sta05]

The Petri net semantics for BPEL4WS from Christian Stahl (Humboldt-Universität zu Berlin) published in [Sta05].

4.1.1 Overview

Feature complete semantics covering both positive control flow with event handling and negative control flow (fault and compensation handling).

4.1.2 Limitations of the semantics

4.1.3 Changes and Modulation

We tried to stick as close to the Petri net patterns of [Sta05] as possible. However, the implemented patterns in the pattern database sometimes differ to the given patterns due to discovery of bugs or implementation decisions. In this subsection we sum up these changes to help you understand the generated Petri net model.