State estimation in DES modeled by a class of interpreted Petri nets | IEEE Conference Publication | IEEE Xplore