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

• 作者: 林贵献 陆维明
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 可分解非对称选择网 活性 有界性 家态
• 年，卷（期）: 2002,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1325-1330
• 页数: 6页
• 分类号: TP393
• 字数: 6029字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2002.12.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明	中国科学院数学研究所	20	189	7.0	13.0
2	林贵献	中国科学院数学研究所	2	22	2.0	2.0