State estimation and fault prediction with partially observed Petri nets | IEEE Conference Publication | IEEE Xplore