可分解非对称选择网的活性和有界性

活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.     

论非对称选择网的活性

本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件.     

扩展强化非对称选择网的活性和有界性

给出了一类非对称选择网(asymmetricchoicenet,简称AC网),扩展了强化非对称选择网结构活的充分必要条件,证明了扩展强化非对称选择网如果是结构活的,其标识的活性是可判定的.同时也证明了扩展强化非对称选择网活性的单调性,并给出其结构活和结构有界的充分必要条件.     

基于Petri网语言的并发系统性质研究

给出Petri网弱活性（无死锁）与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。     

非对称选择网活性的一个多项式时间判定

活性判定是Petri网中一直没有完全解决的问题．针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究．首先,讨论和分析了活性判定的一般方法,然后利用S－不变,提出了非对称选择网活性判定的一个充分条件,并给出了相应的多项式算法．同时,对有界的非对称选择网的活性单调性问题进行了深入的研究,得到了一个简单的充分必要条件     

公平网的活性判断

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

Petri网精细化操作及其在系统设计中的应用

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

可分解非对称选择网的活性和家态

徐静等曾给出了非对称选择网（Asymmetric ChoiceNets,AC网）的一子类，即可分解非对称选择网（DecomposableAsymmetric Choic eNets,DAC网），证明其结构活结构有界的充分必要条件满足死锁－陷阱性能，该文与之不同，给出了一种合成方法，证明合成后的DAC网保持了子网的性质，如活性，有界性和家态（HomeState)，同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法，最后，给出了一类更一般的组合网，该组合网保持了子网的活性。     

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

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

共享路径合成网的活性和公平性分析

本文提出了Ｐｅｔｒｉ网的共享路径合成网的概念,研究了合成网对子网的活性和公平性继承关系,最后给出一种实现共享路径合成网活性和公平性的控制装置,这些结果为网系统合成提供了有力手段,并对发系统的相关性质分析有重要的应用价值。     

Petri网共享T型子网合成结构性质分析及其应用

为了解决系统设计中的子系统共享问题，提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案；研究了共享T-型子网合成网的结构性质，提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件；特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于一类系统的设计和分析，具有一定的实用价值。     

加权T-图活性的进一步研究

本文给出加权Ｔ－图是活网的另一组充分条件，这组条件包含了Ｔｅｒｕｅｌ等对加权Ｔ－图活性分析的结果，方法简单，便于操作。Ｔｅｒｕｅｌ文中研究了加权单回路网为守恒回路时活的一个充分条件，对一般加权Ｔ图活性的判断只限于每个回路是守恒回路的情况。     

共享合成Petri网的性质分析

组合Petri网的性质不变性对大型合成系统分析有着重要意义,从分析共享合成Petri 网的结构性质入手,分析了它的活性性质,给出了它的一个较为简单的活性判定的充要条件. 在此基础上,研究了共享合成Petri网的活性与行为不变性和状态不变性的关系,为系统合 成的活性和一致性的关系提供了分析依据.     

无冲突Petri网的结构活性判定研究

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。