https://123dok.net/document/zx5380xn-diagnosability-degree-of-stochastic-discrete-event-systems.html