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

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