Consistency based process diagnosis based on the variant connection graph proof procedure and Petri nets. - Yu Wang 066 (VDI-Verlag, 1997)