Verification of State-Based Opacity Using Petri Nets | IEEE Journals & Magazine | IEEE Xplore