Consistency based process diagnosis based on the variant connection graph proof procedure and Petri nets / Yu Wang