| CPN在FCM形式化建模与验证中的应用 |
| |
| 引用本文： | 郝莉莉,杨惠珍,谢攀. CPN在FCM形式化建模与验证中的应用[J]. 计算机仿真, 2011, 28(6) |
| |
| 作者姓名： | 郝莉莉 杨惠珍 谢攀 |
| |
| 作者单位： | 西北工业大学航海学院,陕西,西安,710072 |
| |
| 基金项目： | 西北工业大学翱翔之星项目资助 |
| |
| 摘 要： | 联邦概念模型(FCM)是整个联邦系统开发的依据.针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Pe‘网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以-制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性.研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持.
|
| 关 键 词： | 联邦概念模型 形式化建模 形式化验证 |
Application on CPN for Formal Modeling and Validation of FCM |
| |
| HAO Li-Li,YANG Hui-zhen,XIE Pan. Application on CPN for Formal Modeling and Validation of FCM[J]. Computer Simulation, 2011, 28(6) |
| |
| Authors: | HAO Li-Li YANG Hui-zhen XIE Pan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
