GNU BPEL2oWFN

translating WS-BPEL processes into Petri net models