基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

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

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

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

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

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

一种基于属性抽取与整合的Petri网模型

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

一种新的Petri网模型

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

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

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

基于混和Petri网的公路仿真系统模型

公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统。通过分析公路仿真系统的混杂特征，在基于Multi—Agent的仿真框架下，提出利用混和Petri网描述系统中离散事件和连续变量相互作用的观点。在传统混和Petri网的基础上，建立了考虑时变特征的推广混和Petri网模型，并建立了基于推广混和Petri网的公路仿真模型体系。将该模型体系应用于驾驶员速度控制过程。应用结果表明，仿真效果良好。     

网络协议工程中的Petri网技术

按照OSI／RM模型的层次，论述了Petri网在网络协议工程中的研究进展情况，并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法，最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析．     

计算无回路Petri网位置不变量的几何方法

基于路增益概念，证明了无回路加权事件图位置不变量的存在性，并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个Petri网基于位置并的位置不变量，通过把无回路Petri网分解成一些加权事件图基于位置的并，给出了无回路Petri网位置不变量的存在性判别及确定的几何方法。     

基于Petri网的光学专家系统体系结构设计的研究

用Petri网本身表示知识,Petri网的标识来表示光学专家系统的内存工作区,达到以Petri网为工具描述整个专家系统的体系结构的目的,也使得Petri的并发运行过程可以规范刻画光学专家系统的并行推理过程.使得透镜组的设计可以规范化,将丰富的镜头人工设计经验应用在人工智能专家系统上.通过Petri网知识分析论证能否保证该人工智能专家系统的鲁棒性.     

新扩展强化非对称选择网的活性

利用Petri网结构理论与对偶性，在非对称选择网(AC)中找到了一个子类：新扩展强化非对称选择网(NESAC)，它包含了强化非对称选择网(SAC)与扩展强化非对称选择网(ESAC)对称．给出了NESAC网结构活判定的充分必要条件以及它们的证明。     

一类模糊混合Petri网的交通信号灯的实时控制

针对固定周期的交通信号灯浪费道路资源的问题,提出一种模糊混合Petri网用于交通信号灯实时控制的建模方法。该模型结合本相位方向的排队长度和路口的车流量对本相位绿灯时长实时控制,再结合其他相位红灯时长和其他相位的排队长度,实时控制相序的变化。仿真分析表明,基于模糊混合Petri网对信号灯实时控制可最大程度降低车辆的停车次数。     

面向对象Petri网的离散事件系统仿真建模

将Petri网技术和O－O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网（OOPN）,它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0－O技术和Petri网结合起来,以实现仿真建模。     

递阶着色Petri网在面向对象设计中的应用

基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用,在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上,分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模,同时提出了一种把递阶着色Ｐｅｔｒｉ网用于离散事件动态系统的面向对象软件设计的一般方法,并通过对一个柔性制造系统实例的面向对象分析和递阶着色Ｐｅｔｒｉ网的建模,最终指导控制软件的开发．     

含本征二级活变迁的Petri网剖析

对含有二级活而非三级活（ 即本征二级活） 变迁的Ｐｅｔｒｉ 网结构进行了深入的分析，并对含本征二级活子网的可重复网的结构进行了讨论。     

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

许多工程系统的重要特征是具有动态行为,因而不能用故障树模型进行这类系统的可靠性分析．本文讨论用Ｐｅｔｒｉ网方法作为建模工具来描述单调关联故障树,并且考虑配置维修设备．可修系统的动态行为可以借助Ｐｅｔｒｉ网模型和等价的马尔可夫链进行研究．     

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

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

基于UML和Petri网的系统服务获取流程建模

在流程建模中,UML技术和Petri网技术各自发挥着十分重要的作用.分析了UML技术和Petri网技术各自的优缺点及在流程建模中的应用,提出了一种基于UML技术和Petri网技术相结合建立系统流程模型的方法,并给出了相应的技术路线.在此基础上,以兵团空间信息系统服务获取流程建模为例,对所提出的方法和技术路线进行了验证.     

基于着色Petri网的工作流模型研究与应用

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。