Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph. - Ning Ran; Jingyao Nie; Aiwen Meng; Carla Seatzu (IEEE Trans. Autom. Control., 2024)