Ran N, Nie J, Meng A, et al. Non-interference analysis of bounded Petri nets using basis reachability graph[J]. IEEE Transactions on Automatic Control, 2024, 69(10):7159-7165.(SCI收录)