Petri nets: an introduction
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Primer in Petri Net Design
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
Discrete Event Dynamic Systems
Fault distinguishability of discrete event systems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Fault diagnosis of discrete event systems using place invariants
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Hi-index | 0.00 |
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 deterministically 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.