Using Place and Transition Fault Net Models for Sequential Diagnosis Time Assessment in Discrete Event Systems

摘要

The diagnosis-time assessment is studied below in the case of discrete event systems. It is assumed that any such system is described by a live, bounded, and reversible place-transition Petri net. There are assumed some de-terministically given delays associated with the transitions of N and hence N is assumed to be deterministic timed. For this purpose two different type of (single) fault models are used, i.e. place fault and transition fault models and the corresponding diagnosis process is assumed to be sequential. Hence, the diagnosis-time assessment is realised by computing the absolute value of the time difference between the minimum cycle time of N and the worst-case fault-isolation time according to the obtained diagnostic tree.