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

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

Colored Petri Nets-based Formal Modeling and Validation for Federation Conceptual Model

An integrated method of formal modeling and validation for Federation Conceptual Model(FCM) based on Colored Petri Nets(CPN) is proposed.This method is studied with the following two considerations.First,a formal FCM is presented more completely,accurately and canonically than a FCM described by nature language.Second,validation of FCM needs support of specific tools.As an example,a manufacture system is modeled by means of Colored Petri Nets.Then the simulation and validation of the formal model of the manufacture system are implemented by using CPN Tools.Application shows that Colored Petri Nets is helpful to describe the behaviors and relationships of federation entities and the integrated process of formal modeling,simulation and validation is performed easily by using CPN Tools.