【摘 要】
：
对Petri网模型交互后出现变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题.已有的关于变化区域的研究只是涉及到寻找变化区域的方法,对于引起变化区域的责任
【机 构】
：
安徽理工大学 信息与计算科学系,安徽淮南 232001
【出 处】
：
第十四届全国Petri 网理论与应用学术年会
论文部分内容阅读
对Petri网模型交互后出现变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题.已有的关于变化区域的研究只是涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有作更多研究.给出了责任的定义,结合行为片段模式的概念,从动态的角度,提出一种基于行为片段模式来分析判断变化区域的责任方的方法,并通过实例分析验证了该方法的有效性.
其他文献
近日接修一台福 H2125型彩电,一开机,屏幕上方场幅压缩且有若干条回扫线,心中窃喜,修好它应是胸有成竹,手到病除了。因在家电维修类杂志都能看到很多有关此故障的文章。于是
他是很多人的偶像。对于年轻人来说,他是一个榜样;对于年长的人来说,他是一个安慰。在他身上,有许多令人羡慕的潜质和禀赋。他就是北大高才生、中央电视台最有潜力的法制节
美国《新科学家》杂志(New Scientist)称:“Wi-Fi网络使得家庭电脑用户打开了一个令人担忧的安全漏洞。” 大多数无线网络一般都伴有安全功能以防止窥探者阅读电子信件或其
故障现象:一台乐华 CP5439P/N(TDA4501、TDA3566)彩电,开机20 min(分钟)后,出现图像亮度逐渐变暗,彩色时有时无,严重时出现“黑屏”,伴音始终正常。故障分析:从故障现象分析
从普通教师走上科研前沿美国“奋进”号航天飞机8月8日升空,飞向国际空间站。这次机组中最引人注目的成员无疑是55岁的芭芭拉·摩根,她是一位教学多年的小学教师。摩根和其他
联 联合国贸易和发展大会的一项研究表明,中国已成为发展中国家对境外直接投资的最大来源国之一。根据中国外经贸部的统计数字,至2000年底,中国已经在全球140个国家和地区中
我接着说,我们设想,对航空母舰的发展,“七五”开始论证,“八五”搞研究,对平台和飞机的关键课题进行预研,2000年视情况上型号。这样安排,第一,从经费上看,在当前和分摊在今
尚雯婕,一个幼年住在马棚里,从小就经历父母离异的穷人家女孩,贫穷不失志,为了改变自己的现状,发奋苦读,小学、初中、高中一直成绩优秀,最后终于考上了复旦大学,大学毕业被一
问:请介绍电子捕鱼器的制作方法。(何有山) 答【陕西周彦芳】电子捕鱼器实际上是利用无稳多谐振荡器将直流电压变为脉冲交流后,经放大和倍压整流而制成的电子捕鱼、捕鼠等装
研究以性染色体类型已确定且已有性别特异分子标记的黄颡鱼为研究对象,开展高温与皮质醇诱导黄颡鱼(Tachysurus fulvidraco Richardson)XX个体雄性化组织学进程研究,以期为环