基于Petri网的哲学分析

Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.Petri网技术和其它技术的完美结合使其在应用领域发挥作用.从哲学高度分析了Petri网获得成功的思想渊源.通过诠释Petri网思想与哲学思想的诸多相通之处,提出了一种以哲学观点认识和理解Petri网的新思想.Petri网理论的晦涩性在很大程度上限制了其更好发展.鉴于此,笔者在简化Petri网理论方面做了许多尝试,以期促进Petri网的流行与发展.     

基于Petri网的哲学思考

近年来,Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.同时,Petri网技术和其它技术的完美结合使其在应用领域如鱼得水.哲学高度深刻分析了Petri网之所以获得成功的思想渊源,通过诠释Petri网思想与哲学思想的诸多相通之处,帮助大家以一种全新的视角重新认识和理解Petri网.     

军用装备维修保障系统面向对象Petri网建模

Petri网模型是离散事件动态系统(DEDS)建模的有利工具,但传统的Petri网模型存在模型结构复杂、缺少时间描述等不足。该文在装备维修保障系统建模中,结合应用面向对象技术和有色Petri网、赋时Petri网理论,提出了将面向对象思想与赋时Petri网相结合进行装备维修保障系统建模的方法,并应用该方法对已有的空军通信导航装备维修保障系统Petri网模型进行了对象化和赋时改造,使得新建模型结构更加简约、直观,有利于扩展和仿真实现,并且具备时间描述功能。     

基于Petri网的仓库管理流程建模

Petri网是一种有效的模型描述语言,它的应用几乎涉及到计算机学科的各个领域.本文介绍了Petri网的相关理论和工作流的发展和现状,提出了基于Petri网的工作流建模思想;基于这种思想,对仓库管理流程进行了自顶向下,逐步细化的逐层建模.     

Petri网仿真模型改造为HLA邦元的理论和方法

该文从改造建立在其他平台 (如OPMSE)上的Petri网仿真模型为HLA邦元的意义入手 ,给出了改造的可行性、理论和方法。通过对Petri网仿真模型和HLA邦元运行机制的比较 ,采用模型代理的思想解决原模型与外界交互的封装 ,从而实现Petri网仿真模型和RTI运行支撑环境的无缝连接。同时在此基础上 ,探讨了开发基于RTI环境下Petri网仿真模型的集成环境的理论和方法     

Petri网合成理论及应用综述

对于建模和分析物理系统的模型,Petri网在处理并发和冲突方面具有强大的能力.Petri网合成技术将小型Petri网通过一组子网的某些共享位置、某些共享变迁按合成规则综合成复杂网系统,它足Petri网系统建模中一种重要的自底向上的建模方法,适用于具有异步、并发特征的复杂应用环境.综述了 Petri网系统两种合成操作(共享合成、同步合成)理论,然后介绍了国内外研究状况,最后指出了合成技术在柔性制造系统(FMS)和多媒体系统等应用方面的发展热点.     

基于T-图的复杂Petri网约简算法研究

为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法。根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致。实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法。     

报文审批系统的赋时着色PN建模

报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析。考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网———赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数。并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法。最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰。     

Petri网化简技术的动态特性研究

对于大而复杂的Petri网,“节点过多,状态爆炸”一直是阻碍其技术发展的主要问题,因此,如何有效地简化Petri网一直是Petri网研究领域的一个研究热点。将Petri网简化为若干子网是一个很有效的方法。提出了库所指标概念,根据该指标,给出了Petri网的分解定义,并给出了相关算法。在此基础上,依据所给出的算法研究化简技术的动态特性,将子网与原网的特性对应起来进行研究,为复杂系统的Petri网的分析提供了一种有效的途径。     

基于矢谱和模糊Petri网的旋转机械故障诊断研究

讨论了矢谱融合技术和模糊Petri 网的相关理论,提出了基于矢谱和模糊Petri网的旋转机械故障诊断方法,建立了基于矢谱的旋转机械常见故障诊断Petri网模型。模拟实验结果表明：与基于单通道数据的诊断结果对比,矢谱和模糊Petri网应用于旋转机械常见故障进行诊断,可有效提高旋转机械故障诊断的准确率。     

Petri网在经营过程重构（BRP）中的应用研究

在比较常用于过程描述的模型工具基础上,将扩展Petri网理论引入经营过程重构（BRP）。提出了用Petri网对动态、并行的产品开发过程进行描述,并细化建立产品零件设计与工艺设计过程Petri网模型,使产品开发过程在Petri网上得到了清晰、全面地描述。     

Petri网语言的Pumping引理

Petri网语言是Petri网理论的重要组成部分，也是系统行为分析的一种重耍的工具．Petri网语言的Pumping引理反映了Petri网语言的共性，可用来证明某些语言不是Petri网语言，已经证明，当一个Petri网语言可被某个有界Petri网产生时，此语言是正规语言，因此，正规语言的Pumping引理对此语言是有效的，但正规语言的Pumping引理并小适用于所有的Petrl网语言．文中给出了一种Petri网语言的Pumping引理，证明其对任意无空标注的Petri网语言都有效，并且＋正规语言的Pumping引理是此引理的一种特殊形式．利用此Pumping引理可以证明某些语言是不能由Petri网产生的。     

着色Petri网应用研究

着色Petri网是在经典Petri网理论基础上增加了token类型和网的模块这两个功能,它现在已成为一种较完善的语言,可以用来对各种系统规范和协议等进行设计、规范描写、仿真和验证等。文章对着色Petri网的基本理论进行了简单介绍,并对一个简单的通信协议进行建模和分析,提出了今后着色Petri网发展的一个主要方向。     

基于Colored Petri网的工作流建模及应用

对传统Petri网在描述工作流模型时，组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷，将有色Petri网（Colored Petri net，CPN）理论的分析方法引入到工作流网（Workflow-net,WF-net），实现二者有机结合，提出了一种新型扩展工作流网CPWF-net（Workflow-net based on Colored Petri net），给出了严格的定义，使能机制和触发，全面分析了CPWF-net的特性，并就其实际应用进行了初步探究。     

基于Petri网的软件架构演化波及效应分析

Petri网是一种系统描述和分析的工具。在构造系统PSA模型的基础上,利用其可达标识图同样能分析软件架构演化中的构件删除、增加、修改以及合并与分解各种变化引起的波及效应,且算法直观、复杂度小;并为运用Petri网技术研究SA提供了一个新思路。     

模糊Petri网在油田开发设计领域的应用研究

油田自上世纪开发以来,已经积累了众多的不同类型油田的开发设计方案,借鉴已有的油田开发设计方案是非常必要的。为了使用户能够快速准确地找到所需方案,本文通过研究模糊Petri网的定义和性质,建立一个十元模糊Petri网模型,将模糊Petri网的建模方法应用于此,通过调节方案搜索条件的权值大小,控制该项条件在方案筛选过程中的重要程度,根据模糊Petri网的推理得出方案的相似度。     

生化网络的随机Petri网建模与分析

细胞的行为是随机性的,学习细胞中的随机性有助于理解细胞的组织,设计和进化。建立、确认和分析随机的生化网络模型是当前计算系统生物学领域的一个重要研究主题。当前,标准的Petri网模型已经成为生化网络模拟和定性分析的有力工具。尝试使用随机Petri网对生化网络进行建模与分析,简单描述了随机Petri网理论对标准Petri网的扩充,通过对二聚作用和肌动蛋白这两个典型例子的建模与演化模拟,介绍、论证了随机Petri网理论的新应用。     

新型Petri网故障诊断算法研究

Petri网是一种高效的离散事件动态系统建模工具。该文基于Petri网的基本原理,结合故障诊断问题的特点,对petri网在故障诊断中的应用进行了研究,提出了新型Petri网故障诊断算法。并以多轴机床为例建立了Petri网故障模型,分析了故障传播的机理,验证了该算法的有效性。