CSpace
一类Petri网系统的活性
林贵献; 陆维明; 焦莉
2002
Source Publication计算机学报
ISSN0254-4164
Volume025Issue:008Pages:883
AbstractPetri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具,当用Petri网来模拟一个实际系统时,关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生,如活性、有界性等,这些特性均是系统的重要动态行为,该文基于文献1给出了Petri网的一子类,即弱化非自控网(Weak Extended Non SelfControlling Nets,简称WENSeC网),该类网覆盖了扩展自由选择网和扩展非自控网,文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁-陷阱性质,同时对WENSeC网的一子类,通过转化方法,证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/48593
Collection中国科学院数学与系统科学研究院
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
林贵献,陆维明,焦莉. 一类Petri网系统的活性[J]. 计算机学报,2002,025(008):883.
APA 林贵献,陆维明,&焦莉.(2002).一类Petri网系统的活性.计算机学报,025(008),883.
MLA 林贵献,et al."一类Petri网系统的活性".计算机学报 025.008(2002):883.
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
[焦莉]'s Articles
Baidu academic
Similar articles in Baidu academic
[林贵献]'s Articles
[陆维明]'s Articles
[焦莉]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[林贵献]'s Articles
[陆维明]'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.