###
DOI:
Journal of Software:2001.12(3):340-346

非对称选择网活性的一个多项式时间判定
焦莉,陆维明
(中国科学院数学与系统研究院数学研究所,北京 100080)
A Polynomial Time Judgement for Liveness of AsymmetricChoice Nets
JIAO Li,LU Wei-ming
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2460   Download 2723
Received:December 08, 1999    Revised:April 25, 2000
> 中文摘要: 活性判定是Petri网中一直没有完全解决的问题.针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究.首先,讨论和分析了活性判定的一般方法,然后利用S-不变,提出了非对称选择网活性判定的一个充分条件,并给出了相应的多项式算法.同时,对有界的非对称选择网的活性单调性问题进行了深入的研究,得到了一个简单的充分必要条件
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.
文章编号:     中图分类号:    文献标志码:
基金项目: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(国家重点基础研究专项经费). 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(国家重点基础研究专项经费).
Foundation items:
Reference text:

焦莉,陆维明.非对称选择网活性的一个多项式时间判定.软件学报,2001,12(3):340-346

JIAO Li,LU Wei-ming.A Polynomial Time Judgement for Liveness of AsymmetricChoice Nets.Journal of Software,2001,12(3):340-346