基于分层着色Petri网的飞机战伤抢修系统建模

飞机战伤抢修的系统模型,基于分层着色Petri网理论建立.即通过引入复杂库所从复杂的主Petri网中划分出子网对系统进行建模,并用复杂库所替换可从主Petri网中分离的子网,这些子网在原来的主Petri网中留下的位置,由一个等价的复杂库所代替,从而简化主Petri网.     

赋时着色Petri网在建模仿真中的应用

赋时着色Petri网(TCPN)在着色Petri网(CPN)基础上引入时间概念,更适于复杂系统建模仿真.其库所赋时实施规则同CPN,变迁赋时实施规则将令牌移入变迁的输出库所.基于TCPN优先权服务排队系统,用CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间.     

基于Petri网/JavaBean的物流系统建模仿真技术

基于Petri网／JavaBean的分层有色Petri网(HCPN)物流系统建模，通过建立递阶层次、对象，子网和整个HCPN等模型，将其接入主Petri网(PN)，用颜色描述Petri网中流动的令牌．以汽车总装为例，将物流过程分解成若干子网和HCPN模型．并以HCPN仿真模型为核心，定义通用接口、建立与PN相应的模型组件．用户根据现场布局进行组态，通过拖放和连线建立模型间的联系构成HCPN仿真系统．     

基于Petri 网的虚拟维修过程建模

针对维修过程中复杂的活动关系,提出一种基于状态机Petri网的虚拟维修过程建模方法。对维修过程中的约束关系进行描述分析,建立了维修过程逻辑网模型,表达出整个维修操作过程,并结合示例验证模型的合理性。该方法解决了装备复杂维修过程的建模问题,可为实际维修提供技术支持。     

面向对象分层Petri网在对抗系统建模中的应用

从面向对象的自顶向下的设计方法入手,利用Petri网的替换及合成运算,分析了对抗系统建模的顶层Petri网模型。通过进一步细化和分解,利用实际系统逻辑含义分析了各层Petri网的结构性质。为利用Petri网构造高层构建块和分解建模系统提供了一种思路。     

基于Petri网的排队网分析方法

基于Petri网的排队网分析方法,利用分层仿真方法,先对离散系统进行初步排队网建模并转化为GSPN模型.模型可分为单/多服务窗损失制排队模型、单/多服务窗等待制排队模型、单服务窗混合制排队模型与多服务窗损失制排队模型、单/多服务窗闭合式排队模型几种情况.仿真结果证明,该方法由于GSPN的可执行性和图形的直观性,仿真更为方便.     

基于Petri 网的给水保障方案建模与优化

针对现代战争中给水保障面临着保障环境复杂,保障空间扩大,净水难度大,供水保障强度大等问题,提出一种基于Petri网的给水保障方案。利用Petri网可对系统资源动态和静态分析的特点,在分析给水保障方案流程的基础上,建立基于Petri网的保障方案流程模型,并对模型进行了详细分析,给出优化的具体方法,实现了给水保障根据战场态势动态调整的效果。该模型提高了给水保障的能力,使给水保障适应现代战争的要求。     

基于Petri网工作流网在舰载机出航准备建模中的应用

基于Petri网的工作流网的舰载机出航准备建模,将舰载机出航准备工作流网分为:与舰载机起飞降落紧密相关的活动、飞行甲板上的舰载机的活动和进入机库舰载机的活动.任何一架舰载机在航母降落,代表该舰载机的托肯会由C1库所进入工作流网,使整个工作流网启动.每个托肯根据航母指挥机构的命令选择不同流向,并向指挥机构显示舰载机出航准备状态.当舰载机接到起飞命令,升空作战时,流程结束.     

基于Petri网的单交叉路口实时控制建模

依据既定城市道路交通系统的逻辑规则、相位相序及周期长的特点,用普通Petri网(OPN)对单交叉路口交通信号四相位实时控制进行建模,并在此基础上对该模型进行仿真.再根据实际路口的情况实时调整参数,甚至可略微改动OPN的结构,使得相位相序的选择达到最优,实现自适应实时控制.     

基于Petri网工作流的办公自动化系统公文流转

基于Petri网工作流的智能楼宇OAS研究,以公文流转为例,首先找出流程实例中的事件序列。工作流执行时,C1中有1个令牌,触发任务1执行完成,消耗掉该令牌,并转移到另一C1中,C1产生令牌。新的C1令牌使得任务2触发,并转移到C2和C3中。任务3和任务4可以同时或异步触发。触发执行后,令牌转移到C4和C5,C4和C5各产生1个令牌,引起任务5的就绪并触发,最后到达C6,工作流结束。     

面向非计划维修停机时间分析的装备维修过程有色Petri网模型

在总结装备非计划维修过程特点的基础上,进行了非计划停机时间组成及影响因素分析。采用有色Petri网建立了多类任务并行维修的过程模型,实现了维修资源动态组合和服务台数量动态变化的形式化建模。结合维修任务生成模型,实现了装备非计划维修停机时间分析功能,最后进行了实例研究。     

基于面向对象Petri网的侦察配系评估模型

通过对对抗条件下的侦察对象功能以及对侦察配系子系统模块的分析,构建基于面向对象Petri网侦察配系评估的OPN模型,实现侦察配系的侦察与信息分发的动态描述。其涉及的方面包括：简化模型、建立OPN模型、定义侦察配系的OPN模型。该方法为解决侦察配系的评估提供了一种新的途径。     

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。     

基于petri网的自动装弹机故障诊断推理

针对自动装弹机零部件众多、工作流程复杂、故障多发、故障原因机理多种多样等问题,采用petri网的方法对自动装弹机故障原因进行了快速推理诊断。在分析基于Petri网故障诊断方法步骤的基础上,利用petri网构建了自动装弹机故障模型;以旋转输弹机为例,建立了关联矩阵和状态方程,并对其故障进行了推理诊断。结果表明,与传统的完全故障树方法相比,基于Petri网的故障诊断推理方法具有图形直观明了、推理快捷、故障诊断数学化等优点,这对于自动装弹机快速诊断和适情适时维修具有重要的实用意义。     

基于对象Petri网的炮兵侦察网的作战模型

将系统分解成敌我两大子系统,再分成若干个独立实体。利用对象Petri网构建炮兵侦察网的OPN模型,实现复杂电磁环境下炮兵侦察网的侦察与信息分发的静态与动态描述。其各子网的OPN模型包括：目标类、雷达类、声测类、观测所类、我／敌方信息中心类、敌方电子干扰类的OPN模型。该研究可为进一步对其侦察效能进行动态评估和作战使用提供理论依据。