基于部分状态空间存储的Petri网库所界求解算法

卢委红, 丁志军

Place Bound Algorithm of Petri Net Based on Partial State Space Storage

LU Weihong, DING Zhijun

应用科学学报 . 2020, (5): 695 -712 . DOI: 10.3969/j.issn.0255-8297.2020.05.004