基于Petri网的自校正模型

在增加Petri网标识的冗余度基础上，通过构造监督矩阵和冗余矩阵，提出了具有自校正能力的Petri网模型；给出了Petri网有效的递推寻错法，该方法不仅能够检测和纠正Petri网中出现的故障，而且可以给出实际对象网络中与故障相关的进程；利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性．     

Petri网及其空调系统建模应用

首先介绍了Petri网的定义、性质以及几种重要的扩展形式的Petri网,然后以空调管理系统中混合箱的模型为例来说明Petri网在系统建模中的应用,该模型经仿真验证结构合理,且对于进一步研究空调系统的Petri网模型具有重要的意义．     

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究,介绍工作流、工作流网、工作流建模的一些基本概念,以及用Petri网对工作流进行建模的过程,并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

规则Petri网的推理策略的研究

本讨论了规则Petri网的可交换性，给出了规则Petri网的三种推理策略以及并行推理和冲突仲裁的推理方法。     

Petri网系统并行化方法的研究

对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.     

基于遗传算法的变结构神经Petri网模型

将Petri网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Petri网，建立了人工神经元状态转化的Petri网模型．在此基础上给出了利用遗传算法设计变结构神经Petri网的方法，该方法不仅可以得到满足要求的网络参数，而且能对网络的拓扑结构进行优化．仿真结果验证了该方法的可行性．     

描述与求解哲学家就餐问题的Petri网模型研究

研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最后讨论了轮流进餐时不同进餐次数情况下的Petri网构造问题。     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

采用模糊Petri网的形式化推理算法及其应用

以模糊Petri网为工具，研究了多种约束条件下的人类知识和推理过程的表示方法．在此基础上，将模糊Petri网与矩阵运算相结合，给出了模糊推理过程的形式化推理算法．算法考虑了推理过程中的众多约束条件，包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等，将复杂的推理过程采用矩阵运算实现，充分利用了模糊Petri网的并行处理能力，使模糊推理过程更加简单、快速和易于实现。     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

对象Petri网模型的复杂度度量

为了分析对象Petri网模型的复杂度,实现对模型复杂度的量化度量,提出了一套模型复杂度度量集。对象Petri网具有面向对象的特性,可以较好地满足面向对象软件系统的建模。通过将面向对象的设计度量的相关思想引入到对象Petri网模型的复杂度分析中,并结合Petri网的结构特点,从继承、多态、封装等面向对象特性以及判定、并发等Petri网结构特性等方面考虑,提出了适用于对象Petri网模型的复杂度度量集,给出了相关度量的形式化表述,并结合例子进行了分析说明。结果表明,提出的度量集能够有效地反映出面向对象Petri网模型的复杂度,可以为软件建模提供行之有效的度量。也为利用对象Petri网进行软件建模以及面向对象系统设计提供了指导。     

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

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

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也给出了考虑数据流进行测试的标准．然后通过例子,给出了基于各个标准产生的测试路径,最后给出了结论以及下一步应考虑的问题．     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于混合Petri网的单点信号优化感应控制

为研究单交叉口交通信号感应控制问题,建立由连续Petri网描述交通流和离散Petri网描述交通信号控制的混合Petri网模型。根据连续Petri网的离散化方法,以连续Petri网中的参数为基础,提出各个相位车辆总停留时间的计算方法。为优化各个相位的绿灯时间,以车辆总停留时间最小为目标建立优化感应控制模型,并进行仿真计算。研究结果表明:采用基于混合Petri网的优化感应控制方法时,4个相位的车辆平均延误分别为18.19,15.65,14.88和15.24 s,与基于混合Petri网的一般感应控制方法、基于离散Petri网的感应控制方法相比较,平均延误的最大缩短率分别为26.26%和38.33%。基于混合Petri网的优化感应控制方法可以较好地实现单点信号控制。     

一种新的Petri网模型

将感觉神经检测机制融合于Petri网中，提出了一种新的基于属性抽取与整合的感觉神经检测Petri网模型，使得Petri网更加适合于对神经思维的描述，提高了系统的智能行为。