Analysis of faults in hybrid systems by global Petri nets
Mahmoud Rezai, P.D. Lawrence, M.R. Ito · 2002
In this paper we present a new methodology for modeling and analysis of faults in hybrid systems. This new methodology is targeted for use in real-time control systems. We describe a new tool which can be used to model both the plant and the computer controlling it. The modeling is performed by an extension of Petri nets called the global Petri net. This tool simulates and analyzes the entire system as a single entity. In this fashion, a single fault-detection scheme is sufficient to monitor the entire system and diagnose various forms of faults in both the computer and the plant.