A unified frame work for discrete event systems

Early fault detection and isolation minimize cost and processing time of industrial systems. The main purpose of this paper is to introduce a novel delta-marking idea to design a generalized interpreted Petri net-based fault detection and isolation scheme (IPN-based diagnoser) for all PN models. This idea overcomes the event detectability problem that restricts the performance of the conventional dignosers to certain types of Petri net model. Furthermore, a unified framework for a discrete event system that comprises a PN-based model, a PN-based supervisor, and a PN-based diagnoser of a process under consideration, is built in this paper. In addition, this paper addresses some issues for industrial systems modeling and supervision. A rapid thermal process (RTP) is used as an industrial process to test the proposed unified framework after revising its PN-model. This scheme is not only developed for RTPs, but also can be employed for industrial processes with certain modifications depending on the nature of their structures. Simulation results have confirmed the effectiveness of the proposed unified framework.