基于Petri网的系统可靠性分析

本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树，并且考虑配置维修设备，可修系统的动态行为可以借且Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究。     

基于随机Petri网的物流配送流程建模与分析

配送流程是物流系统的核心,其运作效率直接影响到整个系统.因此为了提高物流企业配送货物的效率,需要对物流企业的配送流程进行更加深入的分析和系统建模.通过随机Petri网建模,对配送流程进行定量分析,提出了优化的方法.     

Petri网在时序建模中的应用

本文提出了一种对离散事件系统进行时序建模的TL／PN（时序／Petri)方法。文中描述了点－区间时序逻辑的形式定义体系,以及基于图模型（把系统的时序特性转化为图结构）的时序推理机（TIE）的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。     

优先权Petri网在电梯运行控制中的应用

建立具备及时处理实时数据功能的优先权Petri网模型,弥补数据流模型Petri网较少考虑数据信息实时性的不足.首先,针对需优先处理的实时数据提出变迁优先权及优先权Petri网的概念;其次,利用Petri网的随机性,通过比较"原则"对模型干扰前后马尔可夫链的区别来确定优先权Petri网模型中的prime变迁和spare变迁,进一步利用"原则"确定的TP与TS间的对应关系来构造优先权结构并增添input库所,并由此提出建模的算法;最后,通过分析案例说明了优先权Petri网的优越性及算法的可行性.     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网（Object-oriented Petri Net,OOPN）对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

Petri网理论及其应用

Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应用进行了简要的介绍。     

Petri网在电子战中的应用

Petri网最早用作模拟数字计算机的分析工具,是一种图示和数学兼备的模型工具。本介绍了petri网的基本概念,阐述了petri网在电子战系统建模、性能分析和系统设计中的应用。     

Petri网仿真语言的设计与研究

阐述了研究Petri网仿真语言的目的和意义，并简要地描述了Petri网仿真语言的设计及其相关问题，如性能分析、环境与工具的构造等，本文的研究对Petri网的工程应用具有基础性的重要作用。     

广义随机Petri网及性能分析

对Petri网理论在性能评价领域的应用进行了研究,在介绍广义随机Petri网(GSPN,generalized stochastic petri net)及其分析技术的基础上,探讨了如何利用GSPN对系统进行建模及性能分析。针对典型的双处理机系统的吞吐量和资源利用率问题,建立了双处理机系统的GSPN模型,利用随机Petri网与马尔可夫链的同构关系,得到了GSPN模型稳定的状态空间及各状态出现的概率,进而探讨了双处理机系统的吞吐量和利用率等性能指标。通过TimeNet工具对所建立的模型进行仿真实验,验证了模型的有效性,为吞吐量和利用率的提高提供相关依据。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

Petri网在工作流技术中的应用

论述了Petri网理论和工作流技术,探索了Petri网和工作流技术相结合的优势和可行性,讨论了如何运用Petri网理论实现工作流管理系统部件——过程定义工具的分析功能,并部分实现了分析功能。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

基于Petri网下递归关系的自控网模型

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。     

基于模糊论的多单片机系统性能指标评价

基于多单片机系统性能指标评价的计算模型设计思想、体系结构和评价机制,运用模糊系统理论,提出了模糊积分合成技术方法,揭示了多单片机系统评价指标之间内在本质的关联、制约及协调作用,以及对评价系统状态的影响和作用．     

PI—MPS多机系统的设计与实现

介绍ＰＩ－ＭＰＳ多机系统的体系结构、互连方法、系统的管理以及系统的容错方法。最后，给出了有关ＰＩ－ＭＰＳ多机系统的主要性能指标。     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

基于Petri网结构的专家系统推理机制初探

据Ｐｅｔｒｉ网结构及图形表示,分析了一般专家系统的推理机制,针对其规则集,研究了基于Ｐｅｔｒｉ网的并和无所作推理机制。     

一种改进的CMP1协议及其Petri网分析

研究了一种改进的电子商务协议CMP1协议。针对原有CMP1协议的冗余设计、不满足协议公平性和时限性要求、存在被重放攻击的可能等不足,提出了一种改进方案,并使用颜色Petri网协议分析方法对改进后的CMP1协议进行了建模仿真和性质分析。仿真结果证明改进后的CMP1协议不但满足网络协议的可追究性、公平性和时限性等属性要求,而且避免了被重放攻击的可能。     

一类Petri网系统建模与可达性分析的STP方法

基于矩阵半张量积（STP）方法研究了一类Petri网系统（PNSs）的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给出了这类PNSs状态可达性判别的几个充要条件,同时设计了计算这类PNSs任意两可达状态的所有路径的有效算法;最后,用实例说明了所得结果的可行性与有效性.