Process Diagnosis Based on a Discrete-Event Description