CSpace
notesonlivenessandboundednessofextendedstrongasymmetricchoicenets
Lu WM(陆维明); Jiao L(焦莉)
2001
Source Publicationjournalofcomputerscienceandtechnology
ISSN1000-9000
Volume016Issue:005Pages:426
AbstractIn this paper,the Extended Strong,Asymmetric Choice NetsⅡ(ESACNⅡ),a subclass of Asymmetric Choice Nets(ACN) including Extended Free Choice Nets(EFCN) and Strong Asymmetric Choice Nets Ⅱ(SACNⅡ),is presented.A necessary and sufficient condition for liveress of ESACNⅡis proposed.Moreover,a criterion is introduced,which is necessary and sufficient for judgement of liveness and boundedness of ESACNⅡ,Meanwhile a polynomial time algoirithm is given to decide liveness and boundedness for ESACNⅡ.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/47820
Collection中国科学院数学与系统科学研究院
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
Lu WM,Jiao L. notesonlivenessandboundednessofextendedstrongasymmetricchoicenets[J]. journalofcomputerscienceandtechnology,2001,016(005):426.
APA 陆维明,&焦莉.(2001).notesonlivenessandboundednessofextendedstrongasymmetricchoicenets.journalofcomputerscienceandtechnology,016(005),426.
MLA 陆维明,et al."notesonlivenessandboundednessofextendedstrongasymmetricchoicenets".journalofcomputerscienceandtechnology 016.005(2001):426.
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.