Abstract: In order to solve the problem that it is prone to occur errors when using Business Process Execution Language(BPEL) to describe complex business process, by extending synchronized Petri net, this paper designs a model named SPN-NET, which is more suitable for modeling BPEL, and translates a variety of BPEL structures into the model. A general algorithm based on similar structure is put forward. Rationality validation and performance analysis show that the model is simple, compact and comprehensible.

Key words: synchronizer, Petri net, Business Process Execution Language(BPEL)

摘要： 使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题，通过对同步Petri网进行扩展，设计一个更适合BPEL建模的模型SPN-NET，给出各种BPEL结构化活动到SPN-NET的转换，提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明，该模型简洁紧凑，可理解性好。

关键词: 同步器, Petri网, 业务流程执行语言

CLC Number: 

• TP311