Petri网的进程表达式与语言表达式

Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述．本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据，随后证明了Petri网的进程表达式与语言表达式的类型一致性，由此给出了由进程表达式求取语言表达式的算法，为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径．     

无界Petri网的进程表达式

借助进程网系统的概念，首先证明了无界Petri网∑的进程与其进程网系统∑p，的语言之间存在一一映射关系，将求取∑的进程表达式的问题转化成求取∑p，的语言问题．由于∑p，的结构一般比较复杂，直接求取其语言仍然比较困难．通过定义库所的指标函数，将结构复杂的∑p，分解成结构简单的子网系统，引入了语言的同步交运算，给出了利用这些子网系统求取结构复杂的∑p，语言的方法，从而得到了求取无界Petri网∑的进程表达式的算法．     

一种基于同步合成构造Petri网进程表达式的方法

Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.     

稳定有界Petri网的进程表达式

文献[1]证明一个有界Pctri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网—稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Pctri网的进程表达式。另外,还给出了由符合一定条件的导网的进程表达式来构造其同步合成网的进程表达式的算法。     

Petri网的进程文法和进程语言

一、引言 Petri网进程是分析网系统运行行为最有力的工具。Petri网进程既考虑了网系统的状态变化又准确记录了引起这些变化的条件,清晰地反映事件(变迁)之间的并发和顺序关系,因此,Petri网进程比其它分析方法更便于对并发现象以及系统中同并发有关的一些性质进行分析。然而,Petri网的一个进程只能反映Petri网的一种可能的运行情况。一个Petri网往往有许多个进程,不可能一一列举,这就为进程分析带来了困难。文[1,2]中,提出了利用进程表达式描述Petri网的所有进程的方法,一个有界Petri网的进程表达式是该网的基本子进程集(有限集)为字母表的正规表达式,一个无界公平Petri网在可重复进程段行为等价的条件下也是一个正规表达式。对     

S-网的进程表达式及求取方法研究

Petri网的进程是用于系统行为和状态描述的有效工具，但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进程行为，给出各种类型的S-N的进程表达式的描述方法，为结构复杂Petri网系统的进程描述提供借鉴和帮助。     

推理维护系统的Petri网模型

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．     

基于Petri网的图标编程系统设计与实现

为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统．本文讨论了组成该系统各成分的功能,并设计了网络分析图的生成算法．通过实例说明了系统工作过程和Ｐｅｔｒｉ网理论在可视化程序设计中的重要作用．     

T-组合Petri网的活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网系统性质的有效途径．文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件．这些结果对网组合同步设计具有重要的指导意义     

带时间和控制的Petri网系统及应用

Ｐｅｔｒｉ网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Ｐｅｔｒｉ网中时间和控制的形式定义,并以信号灯系统等例说明了带时间和控制的Ｐｅｔｒｉ网的应用及在描述同步控制上的功能     

基于同步合成的结构复杂Petri网的行为描述

首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.     

自动制造系统Petri网的公平活性控制策略

基于Petri网的不变式理论,针对典型的自动制造系统,提出了Petri模型强制公平性 和活性的方法.首先,基于网论T-不变式的概念,把系统的网模型设计为一个公平网.此后,利 用P-不变式把一个公平网设计为一个活的且公平网.同时,提出了非冗余严格极小信标的概念, 大大简化了系统的分析与设计.一般说来,非冗余严格极小信标是系统严格极小信标一个小的 子集,尤其对于复杂系统的网模型.研究结果表明,只要使非冗余的严格极小信标受控,则系统 所有的严格极小信标就不会被清空.文中举例说明了这些控制方法的应用.研究结果适用于一 大类柔性制造系统,具有相当的普遍性.这种方法对于自动制造系统的调度设计也具有一定意义 和价值.     

Petri网的标注可达

本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。     

公平网的活性判断

Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。     

Methods for behavior descriptions of structure-complex Petri nets

Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this paper, we first analyze the behaviors of S-nets, which are structure-simple. With the decomposition method based on a given index function on the place set, a given structure-complex Petri net can be decomposed into a set of structure-simple S-nets. With the language relationships between the original system and the decomposed subnets, an algorithm to obtain the language expression of a given structure-complex net system is presented, which benefits the analysis of physical systems based on the Petri net language.     

Petri网中的广义公平关系

在吴折辉等提出的公平性和王培良等提出的弱公平性概念的基础上,提出了Ｐｅｔｒｉ网中的广义公平关系,同公平关系和弱公平关系比起来,广泛公平关系的概念更符合计算科学对公平性的传统理解,文中讨论了存在准公平关系的可重复网结构,并在此基础上给出了菊花链式握手协议的一个Ｐｅｔｒｉ网模型。     

基于平行Petri网的制造系统调度与控制一体化方法

为了消除制造系统调度层与控制层之间的隔阂,实现对生产事件快速灵活响应,本文提出了一种调度与控制一体化的方法.首先,定义了一种新型Petri网模型,即平行Petri网,从而集成地描述了传感器、执行器、任务和资源信息,构建制造系统的信息物理系统模型;其次,提出了一种从平行Petri网到赋时Petri网的抽象简化方法,大规模压缩优化调度所需搜索的状态空间;再次,定义了策略Petri网以描述最优调度策略.最后,给出了平行Petri网与策略Petri网同步执行算法,使得平行Petri网与物理系统同步执行.     

T-网的活性分析及其判断算法

Petri网的活性反映了实际系统的元死锁性.本文讨论了一类结构简单的Petri网-T-网的活性问题,给出了各类T-网的活性判定定理并给出了判定算法.算法主要计算工作是变迁的前序库所集和后继变迁集以及回路的判断,这三个过程实际上是一个树的搜索过程,因此算法易于实现,判定效率也大大提高.     

一类受控Petri网的基于管程的广义互斥控制

本文讨论受控Ｐｅｔｒｉ网的广义互斥控制问题。首先，我们给出了此问题存在管程最小约束控制解的充要条件，然后，对一类其不可控 子网为有限状态机的受控Ｐｅｔｒｉ网，证明了其广义互斥控制问题总存在管程最小约束控制解，并给出了综合这一管程的控制的算法。