Petri网理论及其在离散事件系统中的应用

 本文扼要介绍Petri网理论及Petri网图。阐明了Petri网的解析方法,举出了用Petri网建立离散事件系统模型的例子。最后用Petri网不变量对系统进行了验证。     

基于DSPN的SCI建模与性能分析

在新一代综合航电系统中,由于传统总线传输上的"瓶颈"问题,使得1553B总线远远满足不了系统信息传输的要求,可变规模相干接口(SCI)的出现,弥补了传统总线技术的不足,大大提高了信息交互的效率和带宽,满足了系统中和系统间的互连要求,成为先进互连技术的代表,其低延迟高带宽的特点完全可胜任各种关键应用领域.给出了一套完整的基于确定与随机Perei网的可变规模相干接口建模和性能分析算法.通过解决SCI性能评估建模的问题,进而得到系统吞吐量与延迟时间之间的关系.     

维修效能评估与定检周期优化研究

飞机定检周期与维修保障效能有着直接而紧密的联系,本文利用petrinet建模技术,构建了内场维修保障模型,仿真分析定检周期变化对维修保障效能的影响。仿真结果表明,定检周期的延长显著提升了各专业内场维修保障活动的效率及反应能力,缓解了内场维修调度的压力,也为缩减内场编制创造了条件。