摘要
介绍了Petri网和四种工作流原语向Petri网映射的方法及其性能分析算法。然后通过研究遥感卫星业务运行管理单元的业务运行流程,实现了基于Petri网对遥感卫星业务运行管理单元常规模式和应急模式的工作流程的层次化建模。最后利用Petri网仿真软件Visual Object Net对常规模式和应急模式的工作流程进行仿真并分析其时间性能。仿真结果表明所建立的基于Petri网的工作流模型是正确的。并且业务运行流程在采用应急模式时,业务运行管理单元节省了大约60%的系统运行时间,故该模型运行效果良好。
The Petri nets and the mapping method of four workflow primitives to Petri nets is introduced firstly. Next, according to research of remote sensing satellite business operation and management unit, hierarchical model- ing for business operation and management unit is completed. Finally, the model of Petri nets is simulated by the software of Visual Object Net ＋ ＋ , and the time performance of the model is analyzed. The result of the simulation shows that the model based on Petri nets for workflow of business operation and management unit is collect, and the emergency mode of the model cost about sixty percents less time than the conventional model, therefore, the emer- gency mode has higher efficiency.
出处
《科学技术与工程》
北大核心
2012年第26期6628-6633,6643,共7页
Science Technology and Engineering
作者简介
曹华文（1986-），男，河南驻马店人，硕士研究生，研究方向：遥感卫星地面系统。E-mail：caohw2006@163．com。
