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

• 论文 •

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

邓建，陈智，曾家智

1.电子科技大学计算机科学与工程学院，四川成都610054；2.电子科技大学通信抗干扰国家级重点实验室，四川成都610054

出版日期:2011-05-15 发布日期:2011-05-25

Formal verification of business process models using Petri nets

DENG Jian, CHEN Zhi, ZENG Jia-zhi

1.School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China;2.National Key Laboratory of Science and Technology on Communications, University of Electronic Science and Technology of China, Chengdu 610054, China

Online:2011-05-15 Published:2011-05-25

摘要/Abstract

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

关键词: 企业间协同, 业务建模, 模型检查, 业务过程建模符号, 可扩展标记语言, Petri网

Abstract: 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 eXtensible 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 to be simplified and analyzed.

Key words: inter-organizational collaboration, business modeling, model checking, business process modeling notation, extensible markup language, Petri nets

中图分类号:

TP311
TP319

邓建，陈智，曾家智. 业务过程模型的Petri网形式化检查方法[J]. .

DENG Jian, CHEN Zhi, ZENG Jia-zhi. Formal verification of business process models using Petri nets[J]. .

[1]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[2]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[3]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[4]	张玉金,黄博,廖文和. 面向场景的航空发动机基于模型的系统工程设计[J]. 计算机集成制造系统, 2021, 27(11): 3093-3102.
[5]	李文川,高思源,章鑫,冯良清. 基于随机Petri网的企业RFID技术采纳内化建模与仿真[J]. 计算机集成制造系统, 2020, 26(第2): 470-480.
[6]	何彦,陈文奇,王禹林,岳冠楠,李育锋,田小成. 集成设计参数和制造参数的车削工件机加工能耗预测方法[J]. 计算机集成制造系统, 2020, 26(9): 2355-2366.
[7]	张立彬,吕焕培,胥芳,谭大鹏,陈教料,林琼. 面向低压电器的CPN协同装配任务建模与优化[J]. 计算机集成制造系统, 2020, 26(7): 1737-1748.
[8]	刘聪,程龙,曾庆田,闻立杰,欧阳春. 基于Petri网的分层业务过程挖掘方法[J]. 计算机集成制造系统, 2020, 26(6): 1525-1537.
[9]	黄苾,代飞,王亚博,莫启,曹涌,王雷光. 基于Petri网分析编排的可实现性[J]. 计算机集成制造系统, 2020, 26(6): 1548-1556.
[10]	韩咚,田银花,杜玉越,张琴. 基于Petri网可达图的业务对齐方法[J]. 计算机集成制造系统, 2020, 26(6): 1589-1606.
[11]	郝惠晶,方贤文,方娜,许健. 基于Petri网的业务流程低频行为挖掘与优化分析[J]. 计算机集成制造系统, 2020, 26(6): 1660-1667.
[12]	田银花,杜玉越,韩咚,刘伟. 基于Petri网的事件日志与过程模型对齐方法[J]. 计算机集成制造系统, 2019, 25(第4): 809-829.
[13]	王颖,周晓宇,王钊,张学馨,陈丽娇. 基于Artifact生命周期的业务流程一致性检查[J]. 计算机集成制造系统, 2019, 25(第4): 856-863.
[14]	滕苑秀,杜玉越,王路. 循环并发结构的过程模型修正方法[J]. 计算机集成制造系统, 2019, 25(第4): 882-893.
[15]	方欢,段瑞,詹悦. 基于后继关系的行为块过程挖掘方法[J]. 计算机集成制造系统, 2019, 25(第4): 901-908.