| 非对称选择网活性的一个多项式时间判定 |
| |
| 引用本文： | 焦莉,陆维明.非对称选择网活性的一个多项式时间判定[J].软件学报,2001,12(3):340-346. |
| |
| 作者姓名： | 焦莉 陆维明 |
| |
| 作者单位： | 中国科学院数学与系统研究院数学研究所, |
| |
| 基金项目： | 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（国家重点基础研究专项经费）. |
| |
| 摘 要： | 活性判定是Petri网中一直没有完全解决的问题．针对非对称选择网的活性问题，利用结构分析理论，作了进一步的研究．首先，讨论和分析了活性判定的一般方法，然后利用S－不变，提出了非对称选择网活性判定的一个充分条件，并给出了相应的多项式算法．同时，对有界的非对称选择网的活性单调性问题进行了深入的研究，得到了一个简单的充分必要条件
|
| 关 键 词： | 非对称选择网 活性 活性单调性 多项式时间 |
| 收稿时间： | 1999/12/8 0:00:00 |
| 修稿时间： | 1999年12月8日 |
A Polynomial Time Judgement for Liveness of AsymmetricChoice Nets |
| |
| Abstract: | The problem on liveness judgementis stillopen in Petrinets．Thepaper 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． |
| |
| Keywords: | AC net liveness liveness monotonicity polynomial time |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
