Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings | IEEE Journals & Magazine | IEEE Xplore