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

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

加权非对称选择网活性和有界性分析

给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.     

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

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

论非对称选择网的活性

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

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

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

论非对称选择网的活性与安全性

活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性.文章还讨论了非对称选择网的两个子类(强化I型与强化II型),并给出活性满足单调性时其(结构)活与(结构)安全的充分条件.     

判定非对称选择网活性及活性单调性的一个算法

活性是Petri网的重要行为特征之一.为了得到判定AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法.     

时间Petri网保持活性、有界性的两个充要条件

活性和有界性是Petri网最重要的性质，对于传统Petri网的这些性质，国内外学者作过大量的研究工作，并且得到了不少成果，而对含时间因素的Petri网的这些相应性质国内外研究得很少。本文首先介绍了时间Petri网TPN的若干基本定义，然后说明了时间Petri网TPN的活性、有界性和对应传统Petri网的相应性质并无关系，接着给出了时间Petri网保持活性、有界性的时间区间上的两个充分强要条件。为利用传统Petri网的性质判定结果来判定时间Petri网的相应性质提供了可能性。     

非对称选择网类共享子网合成及其在系统建模中的应用

为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。     

关于ESAC网活性和有界性的一个多项式算法

寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的ESAC网的初始标识是否是活标识.ESAC网覆盖了自由选择网,因此,该算法应用范围较为广泛.     

一种改进型的S4PR网活性条件

研究了顺序资源共享分配系统的建模模型S4PR (Systems of sequential systems with shared resources)网的活性问题. 已有的研究成果表明, 一个S4PR网在所有信标都满足max, max'或max"-controlled 时能保持活性, 但现有的活性条件对信标的限制严格且不适用于某些网系统, 本文提出了一类名为max*-controlled的改进型条件, 并证明了当一个S4PR网的所有信标都满足max*-controlled条件时, 网系统能保持活性. 与现有的其他条件相比, 新的活性条件更加宽松, 为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.     

一类Petri网系统的活性

Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具，当用Petri网来模拟一个实际系统时，关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生，如活性、有界性等，这些特性均是系统的重要动态行为，该文基于文献[1]给出了Petri网的一子类，即弱化非自控网（Weak Extended Non SelfControlling Nets,简称WENSeC网），该类网覆盖了扩展自由选择网和扩展非自控网，文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁－陷阱性质，同时对WENSeC网的一子类，通过转化方法，证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。     

基于M-Petri网的活性研究

文章给出了M－Petri网的概念,并对其活性进行分析,给出了几个判定 M－Petri网活的条件。