基于有色Petri网的综电系统总线建模

针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,建立了总线性能仿真平台,对某型战车总线性能进行了分析。结果验证了基于CPN的战车综合电子系统总线建模的正确性与可行性。     

基于有色Petri网的CAN总线仿真与性能分析

针对CAN总线的多主竞争模式通过解析法难以建模这一问题,运用CPN Tools工具构建了基于有色Petri网的CAN总线CSMA/CA竞争机制模型,模拟了CAN总线的静态结构和动态行为,对CAN总线性能进行了仿真与分析。仿真结果验证了所建CAN总线模型的合理性与正确性。     

基于Petri网的仿真VV&A过程建模

对基于Petri网的仿真VV&A过程建模进行了研究,首先分析了VV&A过程的组成,建立了基于Petri网的VV&A过程模型,然后分阶段对VV&A过程进行了详细建模,分别建立了需求校核,概念模型验证,数学模型校核与验证、软件模型校核与验证以及系统确认阶段的Petri网模型.通过对基于Petri网的仿真VV&A过程建模为进一步将Petri网应用于仿真VV&A的辅助管理打下了基础.     

基于Petri网的防空作战过程建模

赋时着色Petri网(TCPN)是在CPN基础发展起来的图形化描述工具,适用于带有时间特性系统的性能评价与仿真。将TCPN加以改进,增加测试弧,时间特性反映在变迁上,且允许时间与标记值可按复杂的函数变化,使Petri网可同时描述离散的状态和连续的变化,由此提出了适于防空作战过程建模的面向仿真的TCPN,并对其在一个小型的防空对抗作战过程的有关作战单元建模中的应用进行了探讨。     

TPN在军事通信系统效能分析中的应用

Petri网是系统分析建模的有力工具.时间Petri网(TP-网或TPN)作为一种高级Petri网有着广泛的应用.首先简单介绍了时间Petri网的发展过程、基本组成,军事通信系统的效能评估的典型方法;然后根据Petri网建立了系统效能分析的动态模型和军事通信系统效能分析的TPN模型,并分析了该模型在军事通信系统效能分析中的优缺点.     

基于带优先级时间有色Petri网的装备维修过程模型研究

本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上,为时间有色Petri网的变迁规则增加了约束,提出了带优先级的时间有色Petri网的概念,并利用带优先级的时间有色Petri网进行了维修过程的仿真,仿真结果表明带优先级的时间有色Petri网能更好的模拟实际的维修过程。     

CPN在海上防空建模中的应用

着色 Petri网 (CP-网或 CPN )是一种面向图形的语言 ,用来设计、说明、模拟和验证系统。尤其适用于通信系统等同步和资源共享占有重要地位的系统。在通信协议、分步式系统、嵌入系统、自动生产系统、工作流分析、VL SI芯片等方面都有典型的应用。本文简单介绍了 CPN的发展过程和基本原理 ,重点就 CPN在海上防空系统建模仿真中的应用进行了探讨     

着色Petri网的装备维修工艺建模

通过对装备维修工艺过程及其特点的分析,确定了基于Petri网建模方法的维修工艺优化过程模型。首先依据基本的维修拆卸规则和Petri网建模规则建立了工序Petri网模型,在此基础上以维修人员和通用维修机、工具为主要资源约束建立了维修工艺过程CPN模型。最后,通过装甲装备某部件维修的工艺过程仿真及数据分析确定了该建模方法的有效性和实用性。CPN较好地描述了装备维修工艺过程中的选择、冲突等事件,对指导维修工艺实践和工艺优化起到了积极的作用。     

基于任意分布随机Petri网的装备维修保障建模与分析

通过将任意分布随机Petri网的基本理论和算法应用到装备维修保障的建模与分析,建立了维修保障系统的任意随机Petri网模型,实现了随机Petri网中变换概率服从指数分布的限制.根据实际系统中相关数据的统计分析和经验估计,以便为利用矩姆函数分析方法对维修保障系统的性能进行分析,为维修保障决策层提供参考,获得了一些有价值的性能指标信息.     

一种新型坦克火控系统建模方法

为全面、准确描述新型坦克火控系统逻辑层,提出了一种基于有色随机Petri网的新型坦克火控系统建模方法。首先研究了新型坦克火控系统的组成结构、信息结构与工作流程。然后对新型坦克火控系统进行了形式化的描述,并制定了其Petri网转化规则。最后建立了新型坦克火控系统的Petri网模型,并对其动态性能进行了分析。证明该方法可以有效对新型火控系统逻辑层建模。