期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Petri网局部性的极大冲突集枚举算法
被引量:
3
1
作者
潘理
郑红
+1 位作者
刘显明
杨勃
《电子学报》
EI
CAS
CSCD
北大核心
2016年第8期1858-1863,共6页
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动...
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O(m2n),m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O(n2).极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.
展开更多
关键词
PETRI网
冲突
集
问题
NP(Non-deterministic
Polynomial)完全性
极大冲突集枚举算法
下载PDF
职称材料
题名
基于Petri网局部性的极大冲突集枚举算法
被引量:
3
1
作者
潘理
郑红
刘显明
杨勃
机构
湖南理工学院信息与通信工程学院
华东理工大学信息科学与工程学院
江西省电力公司信息通信分公司
出处
《电子学报》
EI
CAS
CSCD
北大核心
2016年第8期1858-1863,共6页
基金
国家自然科学基金(No.61473118)
湖南省教育厅科学研究重点项目(No.15A079)
+1 种基金
湖南省科技计划项目(No.2014GK3026)
江西省电力公司科技项目(No.5218351400A1)
文摘
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O(m2n),m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O(n2).极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.
关键词
PETRI网
冲突
集
问题
NP(Non-deterministic
Polynomial)完全性
极大冲突集枚举算法
Keywords
Petri nets
conflict set problem
NP completeness
maximal conflict set enumeration algorithm
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Petri网局部性的极大冲突集枚举算法
潘理
郑红
刘显明
杨勃
《电子学报》
EI
CAS
CSCD
北大核心
2016
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部