【摘 要】
：
为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编
【机 构】
：
西南林业大学大数据与智能工程学院,云南大学软件学院
【基金项目】
：
国家自然科学基金资助项目(61702442,61862065),云南省应用基础研究资助项目(2018FB105)
论文部分内容阅读
为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。
其他文献
当前,世界各国为了更好地发展本国经济,提高民族凝聚力、综合竞争力、国家安全和生活水平等,对各种有限自然资源的需求不断扩张,对生态环境造成严重的危机,深刻影响着人类生
每天早早来到检查站接班,对来往车辆人员严查细问,认真做好登记备案......。他就是邢台县城计头乡破庙村村委委员兼民兵连长、养蜂人李志强。今年37岁的李志强,当过5年兵,在
基于经济学、制度经济学和公共政策学理论中利益均衡概念的一般特征，新型农村合作医疗实现制度均衡的关键是以经办机构的利益最大化为价值观和行动准则，平衡供需双方的利益诉求