Petri网与二元文法的语言等价性

为了用一种类似Chomsky文法体系中的文法描述Petri网语言,研究了二元文法与Petri网语言之间的关系,给出了将二元文法等价转化为Petri网的方法和将Petri网等价转化为二元文法的方法,从而,证明了二元文法产生的语言等价于Petri网语言.     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.     

时间约束Petri网的可调度分析决策算法

时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。目前有关ＴＣＰＮ’ｓ可调生分析的研究仅局限于一些较简单的网,文章通过对ＴＣＰＮ’ｓ的进一步研究,给出了更一般的变中调度决策算法。     

基于Petri网语言的程序设计流程

本文采用了一种Petri网语言的同步合成的原理,提出了计算机复杂程序设计流程的一种新的设计思想。并且利用Petri网语言给出了子系统合成时的死锁分析和系统设计的效率分析以及整个设计流程。     

一种基于Petri网的多目标无死锁蚁群调度算法

蚁群算法已被广泛应用于解决调度问题,针对资源受限的项目调度问题,死锁和多目标问题是重要的课题研究。文中针对具有死锁资源受限的多目标调度问题,采用Petri网模型,研究其蚁群调度算法,以紧急项目的完成时间和所有项目的完成时间最短为优化目标,并通过仿真实验验证了文中算法的有效性和实用性。     

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.     

并发表达式与安全标号Petri网

本文定义了并发表达式，指出其表达能力与安全标号Ｐｅｔｒｉ网是等价的。     

Petri网的同步合成运算及其语言求解

文章拓展了Petri网同步合成运算的概念，并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网∑都可由一组S-网通过同步合成得到，从而可由这些S-网来求取∑的语言，最后给出了结构复杂的Petri网的语言的求解算法。     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

基于Petri网的安全协议形式化分析

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是,利用逆向状态分析判定协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例,我们证明了这种方法的有效性.     

用于检测数据库一致性的Petri网模型

本文通过建立事务调度的Ｐｅｔｒｉ网模型，给出了并发控制系统判断数据库一致性的形式化方法，得到了判定可串行化调度的充要条件。本方法简便、实用，大大改进了以往的方法，为实现数据库一致性的自动判定提供了前提。最后从方法学角度提出了应用Ｐｅｔｒｉ网的新方法。     

基于Petri网局部性的极大冲突集枚举算法

冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP（Non-deterministic Polynomial）完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O（m²n）,m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O（n²）.极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.     

含有否定命题逻辑推理的一致性模糊Petri网模型

模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明.     

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

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

一种基于广义随机着色Petri网的网络攻击组合模型

攻击行为建模对网络安全分析与评估具有重要的作用。该文定义了一种基于广义随机着色Petri网的网络攻击组合模型,该模型能清晰表达攻击组合中各组合部分之间的关联关系,给出了攻击行为、攻击组合运算的定义和攻击组合的建立算法,并对组合模型的结构复杂度进行了度量。在此基础上,从系统性能分析的角度对时间代价进行评估。针对网络实例的分析进一步验证了所提出的组合模型及相关计算方法的有效性。