Checking Non-Interference Based on Unfolding Techniques of Petri Nets. - Hanqian Tu; Yunzhe Xu; Jiahao Shao; Dongming Xiang; Guanjun Liu (ICNSC, 2024)

Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets. - Hanqian Tu; Dongming Xiang; Wang Lin; Guanjun Liu (SMC, 2024)