Diagnosis of Deep Discrete-Event Systems