Verification of Detectability in Labeled Petri Nets | IEEE Conference Publication | IEEE Xplore