Place Bound Algorithm of Petri Net Based on Partial State Space Storage
LU Weihong, DING Zhijun
Journal of Applied Sciences . 2020, (5): 695 -712 .  DOI: 10.3969/j.issn.0255-8297.2020.05.004