GNU BPEL2oWFN - translating WS-BPEL processes into Petri net models