https://123dok.net/document/zpn1owoy-modular-fault-diagnosis-in-discrete-event-systems-with-a-cpn-diagnoser.html