State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets | IEEE Journals & Magazine | IEEE Xplore