CSpace
可分解非对称选择网的活性和家态
林贵献; 陆维明
2002
Source Publication计算机学报
ISSN0254-4164
Volume025Issue:012Pages:1325
Abstract徐静等曾给出了非对称选择网(Asymmetric ChoiceNets,AC网)的一子类,即可分解非对称选择网(DecomposableAsymmetric Choic eNets,DAC网),证明其结构活结构有界的充分必要条件满足死锁-陷阱性能,该文与之不同,给出了一种合成方法,证明合成后的DAC网保持了子网的性质,如活性,有界性和家态(HomeState),同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法,最后,给出了一类更一般的组合网,该组合网保持了子网的活性。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/43995
Collection中国科学院数学与系统科学研究院
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
林贵献,陆维明. 可分解非对称选择网的活性和家态[J]. 计算机学报,2002,025(012):1325.
APA 林贵献,&陆维明.(2002).可分解非对称选择网的活性和家态.计算机学报,025(012),1325.
MLA 林贵献,et al."可分解非对称选择网的活性和家态".计算机学报 025.012(2002):1325.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[林贵献]'s Articles
[陆维明]'s Articles
Baidu academic
Similar articles in Baidu academic
[林贵献]'s Articles
[陆维明]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[林贵献]'s Articles
[陆维明]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.