CSpace
基于共享位置的Petri网系统综合与保性
焦莉1; 陆维明2
2007
Source Publication计算机学报
ISSN0254-4164
Volume030Issue:003Pages:352
Abstract基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点,对一些特殊的网类,活性(liveness)也能保持.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/36754
Collection中国科学院数学与系统科学研究院
Affiliation1.中国科学院软件研究所
2.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
焦莉,陆维明. 基于共享位置的Petri网系统综合与保性[J]. 计算机学报,2007,030(003):352.
APA 焦莉,&陆维明.(2007).基于共享位置的Petri网系统综合与保性.计算机学报,030(003),352.
MLA 焦莉,et al."基于共享位置的Petri网系统综合与保性".计算机学报 030.003(2007):352.
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.