基于WF-net的卫星在轨测试过程建模

Process Modeling of Satellite On-Orbit Test Based on WF-Net

为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过程的逻辑性。应用工作流网对卫星在轨测试过程进行建模是可行的。

In order to solve the model problem of satellite on-orbit test process, take navigation satellite on-orbit test as example, use workflow-net to establish satellite on-orbit test process model. Describe satellite on-orbit test process and logic relation, and adopt coverability tree algorithm to analyze and validate model. The analysis result shows that the model not only describes the action and logic relation of in on-orbit test formally, but also dynamically analyzes the logistic of on-orbit test process. The method of workflow-net is suitable to the nrocess model of on-nrhit test