Tu, Hanqian, et al. “Modeling and Verification of Chinese Wall Policy Based on Petri Nets With Data”. Computing and Informatics, vol. 44, no. 4, Oct. 2025, https://www.cai.sk/ojs/index.php/cai/article/view/7513.