North China University of Technology
Web services Business Process Execution Language (BPEL) modeling technique based on colored Petri net is proposed in this paper. Introduce a BPEL modeling principle based on colored Petri net, and a method of generating BPEL code from the colored Petri net. CPN Tools is used to build the colored Petri net model. At last, the case study of booking ticket was provided to illustrate the applicability of the transformation algorithm. The generated BPEL can run on Oracle BPEL server.