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

• 作者: 樊浩 黄树彩
• 来源期刊: 计算机应用研究
• 关键词: Petri 网 概念模型验证 CPN Tools 防空导弹作战过程
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 系统应用开发
• 页码范围: 999-1001,1005
• 页数: 4页
• 分类号: TP391.9
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.03.052

摘要

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程.实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄树彩	空军工程大学导弹学院	120	420	9.0	11.0
2	樊浩	空军工程大学导弹学院	11	73	4.0	8.0