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

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