基于Petri网局部性的极大冲突集枚举算法
潘理, 郑红, 刘显明, 杨勃
Maximal Conflict Set Enumeration Algorithm Based on Locality of Petri Nets
PAN Li, ZHENG Hong, LIU Xian-ming, YANG Bo
电子学报 . 2016, (8): 1858 -1863 .  DOI: 10.3969/j.issn.0372-2112.2016.08.013