可分解非对称选择网的活性和家态

摘要：

徐静等曾给出了非对称选择网(Asymmetric Choice Nets,AC网)的一子类,即可分解非对称选择网(De-composable Asymmetrtc Choice Nets,DAC网),证明其结构活结构有界的充分必要条件满足死锁-陷阱性质.该文与之不同,给出了一种合成方法,证明合成后的DAC网保持了子网的性质,如活性、有界性和家态(Home State).同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法.最后,给出一类更一般的组合网,该组合网保持了子网的活性.

关键词：可分解非对称选择网、活性、有界性、家态

所属期刊栏目：25

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金69773016;国家重点基础研究发展计划973计划G1998030416;中国科学院实验室基金MADIS

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1325-1330