Text this: A methodology for knowledge modeling of fault diagnosis based on petri nets