业务运行管理系统是遥感卫星地面应用系统业务运行的组织和管理中心，作为遥感卫星地面系统业务运行的组织者，它负责根据用户的订单需求和地面系统自身的业务需求，制定与实施卫星观测计划业务和产品生产计划业务。工作流模型是对工作流的抽象表示，一般采用图形化的方式表示实际的业务流程。Petri网作为一种图形化和数学化的建模工具，具有图形方法的直观性和逻辑方法的概括性，是一种离散事件动态系统建模和分析的有效方法。Petri网适合于描述并发、冲突、异步和同步等重要现象，可以利用其图形直观性、结构层次性实现对遥感卫星地面系统中业务运行管理的流程建模。　　 本文通过研究业务运行管理系统的流程化设计问题，实现了业务运行管理系统工作流程基于Petri网的层次化建模，并验证了所设计模型的合理性，研究了其平均服务时间性能。主要研究内容如下：⑴建模工具选取及其关键技术研究：本文通过分析传统系统流程设计方法的不足及工作流技术在系统流程设计中的优势，为业务运行管理系统的流程化建模提供依据。研究现有工作流建模方法，对比分析其在业务流程建模的优势及缺点；由于Petri网在工作流建模的优势，选取Petri网作为建模工具，并研究其在建模及时间性能分析中的关键技术。⑵业务运行管理系统工作流程建模及性能分析：研究了遥感卫星业务运行管理系统常规模式和应急模式的工作流程，分析Petri网建模方法在业务运行管理系统流程设计的可行性、适用性；由于Petri网在复杂系统建模时出现“状态空间爆炸”问题，本文在业务运行管理系统工作流程的模型设计和性能分析中引入层次化的方法，实现了基于Petri网的业务运行管理系统的工作流程层次化建模和模型时间性能的分析。⑶业务运行管理系统Petri网工作流模型的合理性验证：文章使用Petri网仿真软件Visual Object Net++对所设计的Petri网工作流程模型进行仿真，检测流程模型中是否存在非可达树、死锁现象，验证了所设计的Petri网工作流程模型语义的合理性；利用Petri网规约化简方法，验证所设计的模型结构的合理性。