基于CPN的联邦概念模型形式化建模与验证
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。
着色Petri网(CPN)、验证、联邦概念模型(FCM)、形式化模型
24
TP391.9(计算技术、计算机技术)
2012-10-24(万方平台首次上网日期,不代表论文的发表时间)
共6页
1361-1365,1372