Yue Su, Liang Qi: A State-Equation-Based Method to Non-Reachability Analysis of Ordinary Petri Nets With Token-Free Circuit-Based Subnets. IEEE Access 10: 77772-77780 (2022)