基于CPN的联邦概念模型形式化建模与验证

摘要：

提出了基于着色Petri网（CPN）的联邦概念模型（FCM）形式化建模与验证一体化方法。这种方法的提出主要基于下面两点：一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。

关键词：着色Petri网(CPN)、验证、联邦概念模型(FCM)、形式化模型

所属期刊栏目：24

分类号：TP391.9(计算技术、计算机技术)

在线出版日期：2012-10-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1361-1365,1372