基于Petri网的遥感卫星业务运行管理单元模型设计与仿真

介绍了Petri网和四种工作流原语向Petri网映射的方法及其性能分析算法。然后通过研究遥感卫星业务运行管理单元的业务运行流程,实现了基于Petri网对遥感卫星业务运行管理单元常规模式和应急模式的工作流程的层次化建模。最后利用Petri网仿真软件Visual Object Net对常规模式和应急模式的工作流程进行仿真并分析其时间性能。仿真结果表明所建立的基于Petri网的工作流模型是正确的。并且业务运行流程在采用应急模式时,业务运行管理单元节省了大约60%的系统运行时间,故该模型运行效果良好。