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

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

作　　者：杨惠珍[1] 郝莉莉[1] 

机构地区：[1]西北工业大学航海学院,西安710072

出　　处：《系统仿真学报》2012年第7期1361-1365,1372,共6页Journal of System Simulation

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

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

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]