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

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

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

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

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

基于多维立方体的正则表达式匹配算法

针对特定条件下含有“.*”的正则表达式规则相互作用产生的状态爆炸问题,本文提出一种基于多维立方体的确定性有限自动机（Deterministic Finite Automaton,DFA）结构,将冗余状态按维度划分并压缩,并设计相应的多维立方体确定性有限自动机（Multi-Dimension-Cube-DFA,M-D-Cube-DFA）算法,通过构造动态交点的方法实现等价的状态转移.理论分析和仿真实验表明,与DFA算法相比,在维持时间复杂度不变的基础上对状态数目和存储空间进行了对数级别压缩.     

综合性能评价

论述了传统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网(HDSPN)的特性.并对给出的DSPN模型进行了仿真计算,对影响网络性能的系统指标进行了讨论。     

一种基于Petri网的监控视频事件抽取方法

通过扩展Petri网定义,提出了一种监控视频事件时空关系和逻辑关系的描述方法,通过将语义级的查询事件映射成Petri网,再在Petri网推理过程中结合计算机视觉算法对场景运动目标行为的解释,实现了有关运动目标行为的事件抽取和相应监控视频片段的定位.     

量子Petri网推理方法

针对传统Petri网推理常出现的单阈值推理不适用的问题,提出一种基于量子叠加原理的Petri网推理方法.量子Petri网推理方法提出了量子Petri网结构.量子Petri网的特点是点火阈值和库所均由量子叠加态表示.这样,量子Petri网推理方法就可以通过并行处理不协调信息得到以量子形式存在的推理结果.推理结果依概率塌缩获取推理结果集,最后设计相应算子分析出最合理的推理结果.本文将量子Petri网推理方法应用于莫尔斯电报码识别,并给出了相应的算法流程.基于算法开发的莫尔斯电报码识别系统经不同组的测试人员测试,具有良好的稳定性和较高的抗噪声能力.     

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

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

Stochastic Petri nets: Properties, applications and tools

This paper presents a survey on stochastic Petri nets. A stochastic Petri net is first and foremost a Petri net, whose places represent resources and transitions represent operations. Random time variables attached to transitions are associated with random operation durations. The stochastic behavior must be completely defined by a set of rules associated with the choice of the next transition to be fired in a given marking, the memory properties of the time already spent for a given operation. We introduce some of the main stochastic Petri nets classes, and we give theoretical results associated with conservation properties, ergodic properties and computational methods leading to exact and approximated solutions. From a practical point of view we present the modeling example of a bus allocation and existing software tools.     

Petri网图形的压缩存储与自动转换

本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大的方便。     

Stochastic Petri net models of polling systems

Finite population and finite capacity polling systems are considered. The behavior of these systems is described by means of generalized stochastic Petri nets. The exact results for the mean response times are obtained numerically by means of a stochastic Petri net package. Finite population polling systems are generally difficult to analyze. The results obtained can be used to validate approximate solutions to the above class of polling systems when such solutions become available     

A new formulation for state equation representation for Petri nets

A new algorithm for determination of state equations for Petri nets has been proposed. The proposed algorithm results in state equations similar to the state equations for linear sequential machines. All Petri nets may not be represented in the form of linear sequential machines. The resulting state equations are different from Petri net state equations and include output equations used in control theory literature.     

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

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