1. 湖南理工学院信息与通信工程学院,湖南,岳阳,414006
2. 华东理工大学信息科学与工程学院,上海,200237
3. 江西省电力公司信息通信分公司,江西,南昌,330077
4. 湖南理工学院信息与通信工程学院,湖南,岳阳,414006
5. 华东理工大学信息科学与工程学院,上海,200237
6. 江西省电力公司信息通信分公司,江西,南昌,330077
纸质出版:2016
移动端阅览
潘理, 郑红, 刘显明, 等. 基于Petri网局部性的极大冲突集枚举算法[J]. 电子学报, 2016,44(8):1858-1863.
Maximal Conflict Set Enumeration Algorithm Based on Locality of Petri Nets[J]. Acta Electronica Sinica, 2016, 44(8): 1858-1863.
潘理, 郑红, 刘显明, 等. 基于Petri网局部性的极大冲突集枚举算法[J]. 电子学报, 2016,44(8):1858-1863. DOI: 10.3969/j.issn.0372-2112.2016.08.013.
Maximal Conflict Set Enumeration Algorithm Based on Locality of Petri Nets[J]. Acta Electronica Sinica, 2016, 44(8): 1858-1863. DOI: 10.3969/j.issn.0372-2112.2016.08.013.
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic Polynomial)完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为
O
(
m
2
n
),
m
是当前标识的极大冲突集数目,
n
是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至
O
(
n
2
).极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.
Conflict is an essential concept in Petri net theory.The existing research focuses on the modelling and resolution strategies of conflict problems
but less on the computational complexity of the problems theirselves.In this paper
we propose the conflict set problem for Petri nets
and prove that the conflict set problem is NP-complete.Furthermore
we present a dynamic algorithm for the maximal conflict set enumeration.Our algorithm only computes those conflict sets that are affected by local firing
which avoids enumerating all maximal conflict sets at each marking.The algorithm needs time O(m2n) where m is the number of maximal conflict sets at the current marking and n is the number of transitions.Finally
we show that the maximal conflict set enumeration problem can be solved in O(n2) for free-choice nets and asymmetric choice nets.The results on complexity of thel conflict set problem provide a theoretical reference for solving conflict problems of Petri nets.
0
浏览量
2
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621