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

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

高空模拟试验应急管理的Petri网建模及应用

针对我国高空模拟试验的应急管理,构建了一个应急管理工作流策略,并对这个策略进行了Petri网建模.这个模型主要包括应急停车程序和紧急停车程序.应急停车程序以保证被试发动机与试验设备的安全、同时兼顾快速停车为目标,所以主要由一些串行处理环节组成;而紧急停车程序则以快速停车为目标,所以以并行处理环节为主.模型的分析表明:模型具有可达性、合理性、自由选择性、良构性和S可覆盖性.根据这个模型,对某发动机在高空模拟试验时的应急管理进行了演练,获得了完成各个变迁需要的响应时间.分析这些时间数据,找到了在紧急停车程序的应急管理操作中影响整体应急响应时间的关键环节.同时发现,在应急停车程序中,可以根据应急事件的分级在保证发动机和试验设备的安全与应急响应时间之间找到一个折中,最大化应急管理的效果.应急程序的修改和应急培训有效地减少了关键环节的应急响应时间.

基于Petri网的工作流建模研究及仿真应用

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,论文给出了将WFMC定义的工作流模型转化为工作流网络的完整框架,以及基于Petri网特性分析法的工作流网络仿真分析方法,并且用实例验证了该方法的可行性。