基于Petri网的概念模型验证方法研究

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:wanshilong111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。
其他文献
光梳状滤波器是一种有效提升光通信技术主干网络传输容量的关键光通信器件,过去一直以手工方式生产组装.对实现自动化生产无疑具有非常重要的意义。介绍了一种基于数字PID的新
2006年4月13~14日,由中国地方志指导小组办公室主办、桂林市地方志办公室协办的志书质量标准体系研讨会在广西桂林市召开。中国地方志指导小组办公室主任助理高延军、中国地
修志与用志两者存在着辩证统一的关系,即修志与用志具有高度统一性,集中表现为:用寓修中、修志为用、修用相通、修用相长,修与用是一体化的过程,进而引出读志用志不仅是对志
全国第八次的基础课程改革的推行,对于我国中小学中的学校课程领导给予了重点关注。在当前新课程实施的背景下,我国中小学的学校课程领导主要存在两方面的问题:校长的课程领导相
2012年10月10日美国商务部就对华太阳能电池反倾销反补贴调查作出终裁,中国企业反倾销税率从18.32%到249.96%不等,反补贴税率从14.78%到15.97%不等,商务部新闻发言人沈丹阳就此发表谈话
全国方志系统出版座谈会在福州市召开了。首先,我代表中指组办公室向出席这次会议的各省、市、县志办的同志表示热烈的欢迎!向专程来福州指导我们工作的国家新闻出版署图书司
编纂地方志书有其特定的法律法规和工作规律,修志人员严格按照规律科学地编纂地方志书,在确保质量的前提下,加快编纂速度,编纂出版高质量、高标准的地方志书。 The compilat
本文结合河南省志书质量问题的实际,从志书质量的内涵,正确把握修志的进度和志书质量的关系,严评细审确保质量等方面进行论述,并对河南省志稿的总体质量进行分析。 In this
结合教学实践阐述现代信息技术辅助教学在数学教学中的作用,提出运用信息技术辅助教学过程中应该注意的问题,使其能真正意义上提高小学数学课堂教学的实效性。
高中是培养学生创造性思维能力的重要阶段,是学生接受能力最强的时期.在这一时期,教师应当注重培养学生创造性思维能力,为学生未来学习生活和工作生活奠定坚实基础.高中数学