GNU BPEL2oWFN translates WS-BPEL processes into Petri net models - View it on GitHub