首页 | 本学科首页   官方微博 | 高级检索  
     

可分解非对称选择网的活性和有界性
引用本文:徐静,陆维明.可分解非对称选择网的活性和有界性[J].软件学报,2002,13(11):2142-2148.
作者姓名:徐静  陆维明
作者单位:中国科学院,数学与系统科学研究院,北京,100080
基金项目:国家自然科学基金资助项目(60073013);国家重点基础研究发展规划973资助项目(G1998030416);中国科学院管理、决策和信息系统开放实验室(MADIS)资助项目
摘    要:活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.

关 键 词:Petri网  非对称选择网  可分解非对称选择网  活性  有界性
文章编号:1000-9825/2002/13(11)2142-07
收稿时间:2001/1/18 0:00:00
修稿时间:2001年1月18日

Liveness and Boundedness of Decomposable Asymmetric Choice Nets
XU Jing and LU Wei-ming.Liveness and Boundedness of Decomposable Asymmetric Choice Nets[J].Journal of Software,2002,13(11):2142-2148.
Authors:XU Jing and LU Wei-ming
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.
Keywords:Petri net  asymmetric choice net  decomposable asymmetric choice net  liveness  boundedness
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号