State Estimation in Discrete Event Systems Modeled by Labeled Petri Nets | IEEE Conference Publication | IEEE Xplore