业务过程模型的Petri网形式化检查方法

Formal verification of business process models using Petri nets

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Pe-tri网,构造出一种可建模企业间复杂业务协同的业务过程流网。采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具。采用业务过程流网对供应链中企业间采购订单过程进行了建模。实验结果表明,业务过程流网能将符合过程定义可扩展标记语言规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析。

To resolve the formal checking of business collaboration model cross enterprises, a special Petri net named Business Process Flow net （BPF-net） was constructed to transform business process modeled by Business Process Modeling Notation （BPMN） into Petri nets. With the use of eXtensiblc Markup Language （XML） Process Definition Language （XPDL） 2.1 version, a universal tool was also developed to convert and check business process model. An inter-organizational order process in supply chain was modeled by using of BPF-net. Experimental results showed that BPF-net could transform the bueiness model which met the XPDL specifications into Petri net, and easy tn be simnlifiect nnrl ~nMvzed