bpel2owfn

WS-BPEL to oWFN translator
https://www.gnu.org/software/bpel2owfn

Current versions
2.4
HEAD

Recent formula history

Andrew Janke bpel2owfn: audit fixes
Ian Lancaster Use new-style test definitions
Jack Nagel bpel2owfn: use spec deps
Niels GNU BPEL2oWFN: 2.4 - from BPEL to Petri nets

Formula code at GitHub