基于Petri网的机器人导航系统性能分析

智能机器人的导航系统中存在着多个环节及并发流程,需要对导航系统中是否存在死锁进行检测.基于该导航系统的Petri网模型,采用Petri网死锁检测算法,判定机器人导航系统Petri网中不存在叶节点,即无死锁标识,也不存在死变迁,且不存在广义标识.并判定从任一可达标识均可到达初始标识.     

基于Petri网多通道火控系统的建模与分析

多通道火控系统是一个实时多任务系统,具有实时、并发、异步、分布、不确定性等特点。Petri网是描述异步并发现象的一种有效工具。文章以Petri网为工具建立某多通道火控系统的模型,对其结构性能、功能、任务忙闲程度、死锁进行了定性分析,并给出从模型到程序自动转换方法,可有效分析与评价多通道火控系统。     

基于Arena的飞行前机务准备流程仿真与优化研究

运用面向对象Petri网（OOPN）和随机Petri网（SPN）对飞行前机务准备流程进行建模,在所建立模型的框架下利用Arena进行仿真和分析,并采用流程优化理论进行优化,对优化后的流程进行仿真和分析。结果表明,优化后的飞行前机务准备时间较主机厂所的准备时间明显缩短,同时根据保障人员岗位配置新模式,人员工作量均衡问题得到了改善。     

航站楼安检布局及流程优化研究

为保证旅客出行安全,提高机场安检效率,对机场安检流程进行优化。以航站楼内旅客安检服务流程为研究对象,根据安检服务流程特性,分析并选择广义随机Petri网对航站楼内单通道安检服务流程进行建模与仿真分析。在验证模型可靠性的基础上,运用广义随机Petri 网和马尔科夫链的相关理论给出安检流程的性能评价。最后,以深圳宝安国际机场航站楼内旅客安检流程为实例分析对象,在对资源没有限制的条件下,对深圳机场单通道安检流程进行分析,验证模型的可靠性,找出安检过程中的瓶颈问题,提出改善建议。     

基于Petri网的飞机复杂系统可靠性分析方法研究

Petri网在建模方面具有较强的可视性及良好的动态表达性,提出一种利用Petri网对飞机复杂系统进行可靠性建模的方法,并通过蒙特卡洛仿真方法对Petri网模型进行仿真求解,形成一套完整的可靠性分析理论;以某型机电传飞控系统为例进行建模计算,验证上述方法的可行性和精确性.结果表明:本文提出的基于Petri网的可靠性分析理论,能够有效应用于飞机复杂系统的可靠性分析.     

电子政务流程设计中的工作流建模方法研究

提出了一种用Petri网对电子政务流程建模的方法,利用这种方法可以设计出较为精确而实用的电子政务流程模型。该模型具有结构严谨,易于分析的特点。经过实例分析,对流程的建立和分析验证过程进行了详细描述,并给出了用三元组表达分析过程的方法,证明了用该方法建立的电子政务流程模型是合理有效的。     

基于OOPN的某型飞机飞行前机务准备流程优化研究

运用面向对象Petril网（OOPN）和随机Petri网（SPN）对某型飞机飞行前机务准备流程进行建模：在所建立模型的框架下利用Arena进行仿真和分析．并采用流程优化理论进行优化：对优化后的流程进行仿真和分析。结果表明：优化后的飞行前机务准备时间较优化前明显缩短,同时人员之间工作量均衡问题得到了改善。     

具有混合约束的DES Petri网控制器的设计

针对基于Petri网离散事件系统库所和变迁混合不等式约束反馈控制器的设计问题,提出一项新型设计具有库所和变迁混合约束的Petri网控制器的方法——利用Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。借助一个应用实例．将该控制器设计方法与Yamalidou等人提出的控制器设计方法作比较,表明所提出的控制器设计方法不仅更简单、更有效而且可以应用到推广Petri网。     

基于分层着色Petri网的地空导弹装备维修建模

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法.该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现.     

基于着色Petri网的飞行员操作程序设计研究

飞行员操作程序的人机工效水平对飞机的运行安全非常重要,当前飞行员操作程序的评估工作通常在设计末端开展,带来设计迭代成本的大大提高,需要考虑在设计初期即完成评估与设计的迭代工作。首先对飞行员操作程序的设计流程、设计要素及设计中的人机工效评估关键点进行分析,接着通过分析操作程序设计关键要素与着色Petri网元素的对应关系,提出在设计初期基于着色Petri网完成操作程序设计方案的表达及关键人机工效评估的模型表达。最后,研究对某大型客机紧急下降程序开展着色Petri网建模,并基于模型获得程序的关键人机工效评估结果。在飞行员操作程序设计初期为设计提供模型支撑,能够实现设计程序的模型化表达及产生相应人机工效评估结果,用以指导设计迭代。