节点文献

可分解非对称选择网的活性和有界性

Liveness and Boundedness of Decomposable Asymmetric Choice Nets

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 徐静； 陆维明；

【Author】 XU Jing, LU Wei-ming (Academy of Mathematics and System Sciences, The Chinese Academy of Sciences, Beijing 100080, China) E-mail: {xj,wmlu}@math03.math.ac.cn http://www.math.ac.cn

【机构】 中国科学院数学与系统科学研究院； 中国科学院数学与系统科学研究院 北京100080； 北京100080；

【摘要】 活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.

【Abstract】 Liveness and safeness are important behavioral properties of net systems. In this paper, 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.

【关键词】 Petri网； 非对称选择网； 可分解非对称选择网； 活性； 有界性；
【Key words】 Petri net； asymmetric choice net； decomposable asymmetric choice net； liveness； boundedness；
【基金】 国家自然科学基金资助项目(60073013);国家重点基础研究发展规划973资助项目(G1998030416);中国科学院管理、决策和信息系统开放实验室(MADIS)资助项目~~
  • 【文献出处】 软件学报 ,Journal of Software , 编辑部邮箱 ,2002年11期
  • 【分类号】TP301.6
  • 【被引频次】7
  • 【下载频次】54
打印本页
节点文献中：