Отправить по sms: A realtime fuzzy Petri net diagnoser for detecting progressive faults in PLC based discrete manufacturing system