| 摘要: |
| 活性判定是Petri网中一直没有完全解决的问题．针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究．首先，讨论和分析了活性判定的一般方法，然后利用S－不变，提出了非对称选择网活性判定的一个充分条件，并给出了相应的多项式算法．同时，对有界的非对称选择网的活性单调性问题进行了深入的研究，得到了一个简单的充分必要条件 |
| 关键词: 非对称选择网 活性 活性单调性 多项式时间 |
| DOI： |
| 分类号: |
| 基金项目:This project is supported by the National natural Science Foundation of China under Grant No.69773016 （国家自然科学基金）and the National Key fundamental Research Program of China under Grant No。G1998030416（国家重点基础研究专项经费）. |
|
| A Polynomial Time Judgement for Liveness of AsymmetricChoice Nets |
|
JIAO Li,LU Wei－ming
|
| Abstract: |
| The problem on liveness judgementis stillopen in Petrinets．The paper studies liveness on Asym－metric Choice nets（AC nets）by structure analysis theory．Firstly，some known results on liveness are dis－cussed．Then a sufficient condition by S－invariant for the liveness ofACnets is presented and the correspondingpolynomial－time algorithm is got．Finally a simple necessary－and－sufficientcondition on monotonicity ofboundedACnets is presented． |
| Key words: ACnet liveness liveness monotonicity polynomialtime |
