On-line fault diagnosis in a Petri Net framework | IEEE Conference Publication | IEEE Xplore