柔性存储传输线的赋时Petri网建模

该文在深入研究了赋时Petri网的基础上，对柔性存储传输线进行了建模，提出了采用递推模型简化基本模型，为下一步对实时离散事件系统进行分析和控制研究打下了良好的基础．结果表明递推模型对化简Petri网模型是有效的．     

抽水蓄能机组故障诊断与状态维修的Petri网模型

提出抽水蓄能机组故障诊断与状态维修Petri网模型的分解与分层方法,将抽水蓄能机组分解成转子、定子、机架结构、推力轴承、过流部件5个模块和故障诊断层、状态维修层2个层次,解决了抽水蓄能机组故障部位和故障现象过多带来的矩阵维数过大,求解过于复杂的问题.在此基础上,给出了抽水蓄能机组故障诊断与状态维修Petri网模型的知识提取表示方法及其实现步骤.最后以转子模块为例建立了其故障诊断与状态维修的Petri网模型.     

基于多Agent及Petri网的变压器故障诊断系统

将多Agent技术引入变压器故障综合诊断系统，采用模糊Petri网技术实现建模．该模型中每个Agent代表一种智能知识或智能处理方法，利用Petri网进行知识表示及推理的矩阵运算算法以描述故障征兆与故障的关系，进而达到多Agent之间的协同工作，并利用协调综合Agent给出诊断结果．运用所提出的诊断系统，不但可以充分利用各种故障信息资源，而且可对采用不同诊断方法时的诊断结果进行协调综合，并且在故障信息不全面的情况下也可以做出较准确的诊断结论．实例运算也验证了该诊断系统的快速性、协调性和准确性．     

逻辑电路的增广PETRI网模拟和分析

Petri网是一种系统模拟和系统分析的工具,在计算机科学及其他许多学科领域里有着广泛的应用。增广Petri网是Petri网的一种延拓,它们比普通的Petri网具有更强的模拟能力,但对它们进行分析要困难得多。本文提出了九种基本逻辑元件的增广Petri网模型,从而一个逻辑电路总能表示成这九种基本模型的组合网。作为例子,文中给出了半加器及全加器的增广Petri网模型。然后,我们给出了增广Petri网的矩阵描述和状态方程分析,并由此得出从逻辑电路的输入求其输出的算法。     

模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

基于模糊Petri网的汽车故障诊断方法

根据汽车故障特征的提取具有模糊性和并发性的特点,提出了一种新的基于数据表结构的模糊Petri网模型,并给出了相应的并行推理算法.该模型使用模糊Petri网表示汽车故障的知识,并进行故障的推理和诊断,有效地解决了汽车故障检测系统的并行推理问题,并降低了模糊推理方法的复杂性.最后通过汽车故障实例检验了模型的正确性和有效性.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于矩阵运算的产品拆卸过程规划

以模糊Petri网为工具,给出了模糊产生式规则推理Petri网模型,并将模糊Petri网与矩阵运算相结合,提出了一种模糊推理过程的形式化推理算法.在此基础上,针对产品拆卸过程中知识具有不确定性和模糊性的特点,采用模糊推理Petri网建立了产品拆卸路径决策模型,并通过实例,对所提出的拆卸路径决策算法进行了论述,结果表明此决策模型在产品拆卸过程规划中具有很强的并行处理能力,它可以根据产品在拆卸过程中零部件的信息对每一步操作做出适时的智能化决策.     

区间速率连续Petri网的瞬时引发速率分析

瞬时引发速率（Instant firing speed，IFS）是连续Petrl网模型演变图构造的一个关键参数，其分析正确与否决定着区间速率连续Petri网模型行为分析的正确性．文献[8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论，未给出任意模式下的IFS求解方法．本文定义了区间速率连续Petri网的标识等价类，提出了区间速率连续Petri网在任意标识下的使能及其瞬时引发速率的有效分析方法；并对基于最大引发速率的有效冲突问题进行讨论，给出了基于优先级的最大引发速率的求解方法；最后给出相应的例子．     

基于OPN模型的装备维修保障系统动态性能仿真

为克服用数学方法分析装备维修保障系统的OPN(Object-oriented Petri Net) 模型数量庞大和结构复杂的问题,提出了用CPN(Colored Petri Net) tools 仿真软件分析装备维修保障系统的OPN模型,成功地构建了对装备维修保障系统OPN模型的CPN仿真模型,并用CPN tools对装备维修保障系统的OPN模型进行动态性能仿真。结果表明,用该方法分析装备维修保障系统的OPN模型动态特性是合理可行的,无任何冲突和死锁现象。     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于PN的可重入医学检测调度系统优化研究

基于一类具有可重入特点的医学检测过程的设备调度问题,研究了具有约束条件的优化解.首先分析了调度约束条件和优化目标,建立了其Petri Networks(PN)形式化模型,并分析了其规则调度系统的稳定性和其他性能.然后利用PN模型和调度约束条件解出调度可行解结合对医学检测部分工序要求连续的基础上建立时间约束矩阵,对可行解进一步优化,最终得到满足所有约束条件的优化可行解.通过对实际医学检测系统的实例分析和CPN Tools仿真,结果表明所建立的模型和方法的有效性.     

优先级调度规则建模研究

基于规则的调度方法已广泛应用于各类调度问题的求解中。为揭示规则对调度系统所产生的具体作用,研究了调度规则的建模问题,并主要运用Ｐｅｔｒｉ网为优先级调度规则建模。文中首先分析了普通Ｐｅｔｒｉ网模型中分别存在于库所、令牌和变迁这三个层次上的顺序冲突现象,认为这些冲突可通过引入相应的优先级调度规则来解决;接着结合实例运用三种类型的扩展Ｐｅｔｒｉ网对各层次的优先级调度规则建模;最后通过分析规则调度系统的结构特征,指出可运用混合动态系统领域的有关理论来研究规则调度系统的建模、分析和控制问题。     

开放网—交互式并行系统的模型

定义了开放网的静态结构、动态行为、系统的进程,讨论了开放网及其进程的分解与合成、抽象对象、开放网的外部特性——黑盒理论及开放网的层次结构等基本问题。由于开放网引入了系统与外部的交互机制及层次结构,它可以作为交互式并行系统,特别是规模较大的复杂系统的描述与分析的工具。     

基于Petri网与SimEvents的推式生产系统建模与仿真

以推式生产系统为例,应用Petri网进行系统建模,在SimEvents平台下进行仿真;并分析系统参数设置与系统性能之间的关系。实验结果验证了建模技术及仿真平台的有效性,为今后生产系统性能分析及参数设置提供了一种思路,具有现实的应用价值。     

基于Petri网的设备故障诊断研究

基于设备故障诊断知识的特点,采用层次树结构统一表示故障深浅知识。对普通Ｐｅｔｒｉ 网进行拓展定义,并用拓展Ｐｅｔｒｉ 网综合实现故障知识的表示和故障的诊断推理。诊断时首先基于拓展Ｐｅｔｒｉ 网模型的正向可达性分析进行正向不确定推理,限定可能的故障模块,然后基于Ｐｅｔｒｉ 网模型的反向推理功能在故障模块内具体诊断出故障原因。基于ＦＭＳ故障诊断知识的分析,文中给出了一个利用拓展Ｐｅｔｒｉ 网进行知识表示和推理的实例,证明了方法的可行性。     

铁路信号逻辑的计算机辅助分析与设计

本文以铁路中一个典型的会让站为例,介绍了用 Petri 网来描述铁路站场内部及其相互之间信号联锁及制约等逻辑关系的一种方法,并利用可达树和可达图对所构造的 Petri 网模型进行了分析,最后讨论了结果.利用 Petri 网对铁路站场信号逻辑的描述,不仅可以作为建造新的高效利用站场的一种辅助设计方法,而且可以对现有的站场进行分析、验证.本文最后给出了一种计算机实现语言和实现方法,从而可以方便地利用计算机进行辅助设计,分析和验证.     

基于Petri网的柔性工艺规划

论述了产品制造过程中的柔性工艺产生的原因及其工艺柔性存在的意义。在分析了CAPP中的柔性工艺与Petri网之间存在的相同特性关系、柔性工艺Petri网与生产调度Petri网之间的融合关系的基础上，推出了基于Petri网的柔性工艺模型，并对模型与关联矩阵的转换进行了描述。这种方法为CAPP与生产计划调度的一体化集成提供了一种新的途径。