Abstract: The business process execution language for Web services （BPEL） provides a powerful technology to aggregate encapsulated functionalities and define high-value Web services. While being a powerful language, BPEL is difficult to use. On the other hand, the

Key words: Petri nets, Model, BPEL, Web services