抄録
In this paper, we propose a fault diagnosis method to detect and identify faults which occur in plants. In our approach, we first describe the behavior of a plant by Petri nets, then construct monitors to detect and identify faults using Petri net embeddings. The monitors detect faults by performing parity checks for reachable markings. We also discuss briefly how to detect faults where some places and/or some transitions are unobservable.
