首页> 中文会议>第十五届全国Petri 网理论与应用学术会议 >基于Petri网局部性的极大冲突集枚举算法

基于Petri网局部性的极大冲突集枚举算法

页面导航

摘要
著录项
相似文献
相关主题

摘要

冲突是Petri网理论的重要概念,相互冲突的变迁构成冲突集.提出Petri网的冲突集问题,证明冲突集问题是NP完全的.提出极大冲突集动态枚举算法,基于当前标识的所有极大冲突集,利用Petri网实施的局部性,计算下一标识的所有极大冲突集.该算法的时间复杂度为O(m2n),其中m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举问题的计算复杂度可降至O(min(mn.n2),这里m是库所数.

著录项

来源
《第十五届全国Petri 网理论与应用学术会议》|2015年|1-7|共7页
会议地点合肥
作者
PAN Li; 潘理; ZHENG Hong; 郑红; GUO Guan-qi; 郭观七; YANG Bo; 杨勃;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;
关键词
Petri网; 冲突集问题; 动态枚举算法; 时间复杂度;

相似文献

中文文献
外文文献
专利

1. 基于Pe tri网局部性的极大冲突集枚举算法 [J] . 潘理 ,郑红 ,刘显明 . 电子学报 . 2016,第008期
2. 基于极大独立集的最小连通支配集的分布式算法 [J] . 唐勇 ,周明天 . 电子学报 . 2007,第005期
3. 一种基于Rymon枚举树的快速挖掘无关集算法 [J] . 许普乐 ,纪允 . 郑州轻工业学院学报（自然科学版） . 2017,第005期
4. 一种基于Rymon枚举树的快速挖掘无关集算法 [J] . 许普乐1 ,纪允2 . 轻工学报 . 2017,第005期
5. 基于集合枚举树的最小预测集挖掘算法 [J] . 张军 ,陈凯明 . 计算机工程 . 2008,第009期
6. 一种基于极大完全子图的最大频繁项集并行挖掘算法 [C] . 杨仕博 ,贺彦琨 ,马志新 . 2007全国开放式分布与并行计算学术年会 . 2007
7. 最大k-Plex算法和极大k-Plex枚举算法研究 [A] . 吴奎贤 . 2020

基于Petri网局部性的极大冲突集枚举算法

摘要

著录项

相似文献

相关主题

期刊订阅