【摘 要】
：
为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编
【机 构】
：
西南林业大学大数据与智能工程学院,云南大学软件学院
【基金项目】
：
国家自然科学基金资助项目(61702442,61862065),云南省应用基础研究资助项目(2018FB105)
论文部分内容阅读
为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。
其他文献
在“90·上海艺术节”上,沪剧界推出的《清风歌》等五部现代戏,验证了这样一条艺术原则:地方剧种必须以自己独特的方式贴近生活。地方剧种,是从人们生存的一定自然环境和
戏曲这几年来似乎自然没有从危机中走出来。素以“不愁嫁”著称的越剧,近年来也强烈地感受到了票房价值的胁迫。这一状况已引起人们广泛的关注。本文想由此引出一个议而未决
证书双轨制,就是受教育者不仅要有学历证书,同时要具有非学历性质的技能证书。对于低层次的就业者来说,可以没有学历证书,但必须有技能证书,这种证书必须是在国家教育行政部
当前,世界各国为了更好地发展本国经济,提高民族凝聚力、综合竞争力、国家安全和生活水平等,对各种有限自然资源的需求不断扩张,对生态环境造成严重的危机,深刻影响着人类生
【正】 1984年11月11——14日山西省自然辩证法研究会年会在省城太原召开。本届年会顺利地完成了两项议题:其一,进行学术交流;其二,改选学会理事。来自全省各地的65位代表参
【正】 系统科学发展丰富了现代科学技术的内容历史发展到了今天的时代,科学发展的趋势是越来越分化又越来越综合;不能以客观世界的某一个部分,而只能以整个客观世界作为科学
【正】 科学与社会相互作用的研究,是近二、三十年来正在蓬勃发展的科学社会学的一个研究领域。由于科学(特别是现代科学)和社会彼此不可分割,所以有必要从社会学的观点把科
实践的观点是马克思主义认识论首要和基本的观点。坚持实践观点是各级领导干部遵循马克思主义,开创宏伟事业的基本要求。 一、坚持实践的观点是历史的经验总结 揭开历史篇章,
每天早早来到检查站接班,对来往车辆人员严查细问,认真做好登记备案......。他就是邢台县城计头乡破庙村村委委员兼民兵连长、养蜂人李志强。今年37岁的李志强,当过5年兵,在
基于经济学、制度经济学和公共政策学理论中利益均衡概念的一般特征，新型农村合作医疗实现制度均衡的关键是以经办机构的利益最大化为价值观和行动准则，平衡供需双方的利益诉求