KMS Of Academy of mathematics and systems sciences, CAS
一类Petri网系统的活性 | |
林贵献; 陆维明; 焦莉 | |
2002-01-01 | |
发表期刊 | 计算机学报 |
ISSN | 0254-4164 |
卷号 | 025期号:008页码:883 |
摘要 | Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具,当用Petri网来模拟一个实际系统时,关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生,如活性、有界性等,这些特性均是系统的重要动态行为,该文基于文献1给出了Petri网的一子类,即弱化非自控网(Weak Extended Non SelfControlling Nets,简称WENSeC网),该类网覆盖了扩展自由选择网和扩展非自控网,文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁-陷阱性质,同时对WENSeC网的一子类,通过转化方法,证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。 |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/48593 |
专题 | 中国科学院数学与系统科学研究院 |
作者单位 | 中国科学院数学与系统科学研究院 |
推荐引用方式 GB/T 7714 | 林贵献,陆维明,焦莉. 一类Petri网系统的活性[J]. 计算机学报,2002,025(008):883. |
APA | 林贵献,陆维明,&焦莉.(2002).一类Petri网系统的活性.计算机学报,025(008),883. |
MLA | 林贵献,et al."一类Petri网系统的活性".计算机学报 025.008(2002):883. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[林贵献]的文章 |
[陆维明]的文章 |
[焦莉]的文章 |
百度学术 |
百度学术中相似的文章 |
[林贵献]的文章 |
[陆维明]的文章 |
[焦莉]的文章 |
必应学术 |
必应学术中相似的文章 |
[林贵献]的文章 |
[陆维明]的文章 |
[焦莉]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论