Petri网化简新技术研究

在Petri网的并分解技术的基础上进行研究,依据并分解定义提出了将一种无环路、多输出库所网分解为若干个单一输出库所子网的新技术,将其应用于电网故障诊断,为Petri网应用于大型电网的故障诊断提供了一条可行的思路。     

有界Petri网的最小化化简

给出了Petri网的语言等价性概念和有界Petri网的最小化概念;证明了有限状态自动机、有界Petri网、正规文法的等价性,给出了它们之间等价转换的算法;分析了有界Petri网的化简过程,并给出了有界Petri网最小化化简的算法,为有界Petri网的自动化化简提供了方法。     

基于Petri网化简技术的工作流模型正确性研究

为了更有效地对工作流模型进行分析验证，提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上，通过对非自由选择网结构活性和有界性的分析，给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下，给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法，从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。     

基于逻辑电路的Petri网化简方法

已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.     

基于Petri网化简技术的工作流模型合理性验证

随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程.     

基于Petri网化简技术的工作流过程模型结构验证

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.     

基于Petri网的工作流逻辑化简规则的矩阵表示

Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。     

基于Petri网化简方法的工作流模型验证

经营过程的建模、分析与优化是支持企业经营过程重组（BPR）的重要基础,行之有 效的模型分析方法是成功进行模型分析的重要的关键技术问题．在深入分析了经营过程工作 流模型特点的基础上,本文提出了一种基于Petri 网图形化简规则的业务过程模型分析与验 证方法,证明了所提出这套化简规则的完备性和多项式时间的复杂性．并应用一个实例证明 了所提出方法的有效性．     

基于Petri网的动态建模技术的研究

Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。     

Petri网化简操作及其在系统验证中的应用

针对柔性制造系统的验证问题，提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题，给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于柔性制造系统的验证，具有一定的实用价值。     

层次结构的Petri网

Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。     

面向对象Petri网继承性的研究

面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题.针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活.     

带抑制弧Petri网的保性变换

Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。     

Decomposition of Petri nets

The problem of splitting any given Petri net into functional subnets is considered. The properties of functional subnets and sets that induce them are investigated. An algorithm of polynomial complexity is constructed for decomposition of nets.Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 131–140, September–October 2004.     

Compositional analysis of Petri nets

Foundations of compositional analysis of Petri nets are presented. This analysis consist of the determination of properties of a given Petri net from the properties of its functional subnets. Compositional analysis covers the investigation of behavioral and structural properties of Petri nets with the help of matrix methods that use fundamental equations and invariants. The exponential acceleration of computations as a function of the dimensionality of a net is obtained. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 143–154, January–February 2006.     

Two polygraphic presentations of Petri nets

This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first one sees places as generators of a commutative monoid and transitions as rewriting rules on it: this setting is totally equivalent to Petri nets, but lacks any graphical intuition. The second one considers places as one-dimensional cells and transitions as two-dimensional ones: this translation recovers a graphical meaning but raises many difficulties since it uses explicit permutations. Finally, the third translation sees places as degenerated two-dimensional cells and transitions as three-dimensional ones: this is a setting equivalent to Petri nets, equipped with a graphical interpretation.     

基于Petri网的动态访问控制模型

访问控制是保障信息系统安全的一种主要机制,通过限定主体对客体的访问权限,确保对信息资源访问的合法性,达到保证信息的机密性、完整性和可用性的目的。通常,这种机制主要通过静态的访问控制矩阵实现,不随信息系统处理的任务变换而调整。利用Petri网的基本原理,提出了一种适合于信息系统的访问控制模型,随着信息系统的状态变化动态授予访问控制权限,实现对信息系统资源安全的动态保护。