CSpace
基于petri网语言的并发系统性质研究英文
蒋昌俊1; 陆维明2
2001
Source Publication软件学报
ISSN1000-9825
Volume12Issue:4Pages:512
Abstract给出Petri网弱活性(无死锁)与活性的两个语言刻画,讨论了同步合成Petri网的语言性质.基于Petri网语言,给出了判定Petri网活性的充分必要条件.同时研究了Petri网同步合成过程中活性保持问题,给出了保持活性的充分必要条件.这些结果为讨论网的活性测试和控制提供了形式语言的方法.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/49542
Collection中国科学院数学与系统科学研究院
Affiliation1.同济大学
2.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
蒋昌俊,陆维明. 基于petri网语言的并发系统性质研究英文[J]. 软件学报,2001,12(4):512.
APA 蒋昌俊,&陆维明.(2001).基于petri网语言的并发系统性质研究英文.软件学报,12(4),512.
MLA 蒋昌俊,et al."基于petri网语言的并发系统性质研究英文".软件学报 12.4(2001):512.
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.