Fault detection by labeled Petri nets and time constraints

This paper generalizes a previous result on the diagnosis of discrete event systems in a Petri Net framework and based on Integer Linear Programming problem solutions. In particular, we assume that silent transitions model faults and both observable and unobservable transitions model the nominal system behavior. However, in this contribution observable transitions exhibit non determinism since several different transitions may share the same...