Consistency based process diagnosis based on the variant connection graph proof procedure and Petri nets / Yu Wang. Düsseldorf : VDI-Verl., 1997