Text this: Software for fault diagnosis using knowledge models in petri nets