Consistency-based process diagnosis based on the variant connection graph proof procedure and Petri nets - Wang, Yu (Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 8], 1997)