论文部分内容阅读
联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以一制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性。研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持。