A Petri Net Based Approach for Process Model Driven Deduction of BPEL Code · Study