Hanqian Tu, Yunzhe Xu, Jiahao Shao, Dongming Xiang, GuanJun Liu. Checking Non-Interference Based on Unfolding Techniques of Petri Nets. In IEEE International Conference on Networking, Sensing and Control, ICNSC 2024, Hangzhou, China, October 18-20, 2024. pages 1-6, IEEE, 2024. [doi]
Abstract is missing.