BPEL2oWFN 1.1 released

BPEL2oWFN is a compiler translating a business processes expressed in BPEL (Business Process Execution Language for Web Services) to an oWFN (open Workflow Net).

Version 1.1 (24 February 2006)
- input:
* BPEL process compliant to the specificiation BPEL4WS version
1.1, May 2003.

- output:
* 1-safe low-level Petri net in
* LoLA format
* low-level PEP notation
* Abstract Petri Net Notation (APPN)
* Petri Net Markup Language (PNML)

* 1-safe open workflow net

* Dot representation of the generated Petri net

* Control Flow Graph (experimental)

- implemented patterns:
* Christian Stahl. A Petri Net Semantics for BPEL.
Informatik-Berichte 188, Humboldt-Universita"t zu Berlin,
July 2005.

* Variations of the Stahl-semantics (acyclic while patterns,
livelocked systems, various fault models).

Download:
http://prdownloads.sourceforge.net/tools4bpel/bpel2owfn-1.1.tar.gz?download
http://prdownloads.sourceforge.net/tools4bpel/bpel2owfn-1.1-win32.zip?download
http://prdownloads.sourceforge.net/tools4bpel/bpel2owfn-1.1-linux386.zip?download
http://prdownloads.sourceforge.net/tools4bpel/bpel2owfn-1.1-solaris.zip?download
http://prdownloads.sourceforge.net/tools4bpel/bpel2owfn-1.1-darwin.zip?download

More info:
http://www.informatik.hu-berlin.de/top/tools4bpel/bpel2owfn
http://sourceforge.net/projects/tools4bpel