yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Verification of State-Based Opacity Using Petri Nets.
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (6), pp.2823 - 2837.
⟨10.1109/TAC.2016.2620429⟩.
⟨hal-01786028⟩