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

来源：计算机集成制造系统杂志2020年第6期北京时间：

作者：黄苾,代飞,王亚博,莫启,曹涌,王雷光

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

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

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

基金资助：国家自然科学基金资助项目(61702442,61862065);云南省应用基础研究资助项目(2018FB105)。