摘要
活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.
Liveness and boundedeness are important behavioral properties of net systems. A subclass of AC nets which are called decomposable asymmetric choice nets are obtained. A necessary and sufficient condition of liveness for decomposable AC systems is also proved. Moreover, a polynomial-time algorithm is presented to decide whether a Petri net system is live and bounded decomposable AC system.
出处
《软件学报》
EI
CSCD
北大核心
2002年第11期2142-2148,共7页
Journal of Software
基金
国家自然科学基金资助项目(60073013)
国家重点基础研究发展规划973资助项目(G1998030416)
中国科学院管理
决策和信息系统开放实验室(MADIS)资助项目~~
