基于Petri网分析编排的可实现性

doi:10.13196/j.cims.2020.06.011

计算机集成制造系统 ›› 2020, Vol. 26 ›› Issue (6): 1548-1556.DOI: 10.13196/j.cims.2020.06.011

基于Petri网分析编排的可实现性

黄苾¹,代飞¹⁺,王亚博²,莫启²,曹涌¹,王雷光¹

1.西南林业大学大数据与智能工程学院
2.云南大学软件学院

出版日期:2020-06-30 发布日期:2020-06-30
基金资助:
国家自然科学基金资助项目(61702442,61862065);云南省应用基础研究资助项目(2018FB105)。

Analyzing realizability of choreographies using Petri nets

Online:2020-06-30 Published:2020-06-30
Supported by:
Project supported by the National Natural Science Foundation,China(No.61702442,61862065),and the Application Basic Research Project in Yunnan Province,China(No.2018FB105).

摘要/Abstract

摘要： 为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。

关键词: 编排, 可实现性, 异步通信, 同步通信, Petri网

Abstract: Aiming at the problem of realizability during the process of modeling choreographies,an approach for analyzing realizability of choreographies using Petri nets was proposed from two aspects of synchronous communication and asynchronous communication.In this method,the peers from the given choreography was generated automatically,and the realizability of choreographies under synchronous communication was checked using strong bisimulation.The realizability of choreographies under bounded asynchronous communication was analyzed using weak bisimulation.The effectiveness of the proposed method was verified by experimental results.

Key words: choreography, realizability, asynchronous communication, synchronous communication, Petri nets

中图分类号:

TP311

黄苾,代飞,王亚博,莫启,曹涌,王雷光. 基于Petri网分析编排的可实现性[J]. 计算机集成制造系统, 2020, 26(6): 1548-1556.

[1]	郜启凯,李莹,邓水光. 支持跨组织协作的高可靠性服务编排框架[J]. 计算机集成制造系统, 2021, 27(9): 2501-2507.
[2]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[3]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[4]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[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): 1589-1606.
[10]	郝惠晶,方贤文,方娜,许健. 基于Petri网的业务流程低频行为挖掘与优化分析[J]. 计算机集成制造系统, 2020, 26(6): 1660-1667.
[11]	田银花,杜玉越,韩咚,刘伟. 基于Petri网的事件日志与过程模型对齐方法[J]. 计算机集成制造系统, 2019, 25(第4): 809-829.
[12]	王颖,周晓宇,王钊,张学馨,陈丽娇. 基于Artifact生命周期的业务流程一致性检查[J]. 计算机集成制造系统, 2019, 25(第4): 856-863.
[13]	滕苑秀,杜玉越,王路. 循环并发结构的过程模型修正方法[J]. 计算机集成制造系统, 2019, 25(第4): 882-893.
[14]	方欢,段瑞,詹悦. 基于后继关系的行为块过程挖掘方法[J]. 计算机集成制造系统, 2019, 25(第4): 901-908.
[15]	陈文冲,刘洪伟,齐二石,刘伟. 离散串联生产系统物理与信息过程匹配机理[J]. 计算机集成制造系统, 2019, 25(第11): 2923-2934.

基于Petri网分析编排的可实现性

Analyzing realizability of choreographies using Petri nets

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics