期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
无界Petri网的可达树的综述
被引量：
4
1
作者
干梦迪
王寿光
+2 位作者
周孟初
李俊
李月
《自动化学报》
EI
CSCD
北大核心
2015年第4期686-693,共8页
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,...
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.
展开更多
关键词
无界Petri网
可达
树
可达性问题
离散事件系统
在线阅读
下载PDF
职称材料
良结构下推系统的表达能力
2
作者
靳阳
蔡小娟
李国强
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2015年第8期1084-1089,共6页
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式...
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.
展开更多
关键词
良结构下推系统
良拟序
向量加法系统
可达性问题
在线阅读
下载PDF
职称材料
题名
无界Petri网的可达树的综述
被引量：
4
1
作者
干梦迪
王寿光
周孟初
李俊
李月
机构
浙江工商大学信息与电子工程学院
同济大学电子与信息工程学院
新泽西理工学院电子与计算机工程系
东南大学自动化学院
出处
《自动化学报》
EI
CSCD
北大核心
2015年第4期686-693,共8页
基金
国家自然科学基金(61374148
61100056
+3 种基金
61374069)
浙江省杰出青年基金(LR14F020001)
浙江省科技计划项目(2013C31111)
浙江省新型网络标准与应用技术重点实验室(2013E10012)资助~~
文摘
Petri网自提出以来得到了学术界和工业界的广泛关注.Petri网系统的可达性是最基本性质之一.系统的其他相关性质都可以通过可达性进行分析.利用等价的有限可达树来研究无界Petri网可达性,依然是一个开放性问题.该研究可以追溯到40年前,但由于问题本身的复杂性和难度太大,直到最近20年,经过国内外诸多学者的不懈努力,才逐渐取得了一些阶段性的成果和部分突破.本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献.重点对4种开创性的研究成果展开讨论,分别为有限可达树、扩展可达树、改进可达树及新型改进可达树.探讨了今后无界Petri网可达性问题的研究方向.
关键词
无界Petri网
可达
树
可达性问题
离散事件系统
Keywords
Unbounded Petri nets
reachability tree
reachability problem
discrete event system
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
良结构下推系统的表达能力
2
作者
靳阳
蔡小娟
李国强
机构
上海交通大学BASICS实验室
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2015年第8期1084-1089,共6页
基金
国家自然科学基金项目(61472238
61100053)资助
文摘
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.
关键词
良结构下推系统
良拟序
向量加法系统
可达性问题
Keywords
well-structured pushdown system
well-quasi-order
vector addition system
reachability problem
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
无界Petri网的可达树的综述
干梦迪
王寿光
周孟初
李俊
李月
《自动化学报》
EI
CSCD
北大核心
2015
4
在线阅读
下载PDF
职称材料
2
良结构下推系统的表达能力
靳阳
蔡小娟
李国强
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
