基于CPN的在轨服务概念建模  

Concept Model for On-orbit Service Based on CPN

作　　者：史建伟[1] 蔡远文[2] 苏明 

机构地区：[1]装备指挥技术学院研究生院 [2]装备指挥技术学院试验指挥系 [3]广州军区75130部队

出　　处：《系统仿真学报》2011年第B07期262-265,281,共5页Journal of System Simulation

摘　　要：概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。Conceptual model is a beginning point to the development of simulation system. Firstly, the basic modeling of CPN（Colored Petri net） was introduced, secondly the concept and flow of On-orbit Service（OOS） was analyzed, and then the OOS was modeled based on CPN-Tools, moreover the state space of the model was created, and the property including Boundedness, Home, Liveness and Fairness was analyzed. The concept model of OOS provides reference for the establishment of the OOS system and its simulation system.

关 键 词：在轨服务 概念建模 UML CPN CPN-Tools 

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