Experiential knowledge representation and reasoning based on linguistic Petri nets with application to aluminum electrolysis cell condition identification.