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

摘要

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