A Compact Colored Petri Net Model for Fault Diagnosis and Recovery in Embedded and Control Systems
Source: University of Malaya
In this paper, the authors describes the modeling and use of a reduced colored petri net for fault diagnosis and recovery in embedded and control systems. The reduced or compact colored petri net modeling approach can be extended to other classes of real time systems, real time hardware, etc. A reduced colored petri net is a compact form of a colored petri net having complex token types based on sets or complex sets containing the structured information for error handling. The approach presented here will reduce the size of the colored petri net because information is put in the token instead of having many additional places and transitions as is typically done.