CPN在联邦概念模型形式化建模与验证中的应用

摘要：

联邦概念模型是整个联邦系统开发的依据,采用形式化的方法建立和验证联邦概念模型有助于提高模型的可重用性和可信度。分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri 网的联邦概念模型形式化建模与验证方法,给出了用着色Petri 网建立与验证联邦概念模型的步骤,并以一制造系统为例,利用CPN Tools建立了系统的联邦概念模型,验证了所建模型的活性、家态和公平性。研究表明,着色Petri网能够为联邦概念模型的形式化建模和验证提供有效的支持。

关键词： 着色Petri网 联邦概念模型 形式化建模 形式化验证

作者: 郝莉莉 杨惠珍

作者单位: 西北工业大学航海学院,西安 710072 水下信息处理与控制国家重点实验室,西安 710072

会议类型: 国内会议

会议名称: 2010中国科协海峡两岸青年科学家学术活动月“仿真科学与技术”学术研讨会

会议地点: 福州

会议语种:中文

页码: 1-4

在线出版日期: 2010-11-02（万方平台首次上网日期，不代表论文的发表时间）